DocumentCode :
1242322
Title :
Specification and verification technologies for communication software
Author :
Kajiwara, Masaichi ; Itoh, Masaki ; Ichikawa, H.
Author_Institution :
Musashino Electrical Comm. Lab., NTT, Tokyo, Japan
Volume :
23
Issue :
8
fYear :
1985
fDate :
8/1/1985 12:00:00 AM
Firstpage :
15
Lastpage :
25
Keywords :
Communication system software; Software requirements and specifications; Software verification; Communication switching; Communication system control; Communications technology; Logic functions; Signal processing; Software design; Software safety; Software tools; Switching systems;
fLanguage :
English
Journal_Title :
Communications Magazine, IEEE
Publisher :
ieee
ISSN :
0163-6804
Type :
jour
DOI :
10.1109/MCOM.1985.1092633
Filename :
1092633
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1242322
بازگشت