DocumentCode :
3443777
Title :
Introduction to the special session on formal verification of telecommunications systems
Author :
Kapus, Tatjana ; Jezic, Gordan
Volume :
2
fYear :
2005
fDate :
June 15-17, 2005
Firstpage :
609
Lastpage :
609
Keywords :
Communication industry; Computer science; Formal specifications; Formal verification; Mobile radio mobility management; Protocols; Special issues and sections; System testing; Telecommunication computing; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Telecommunications, 2005. ConTEL 2005. Proceedings of the 8th International Conference on
Print_ISBN :
953-184-081-4
Type :
conf
DOI :
10.1109/CONTEL.2005.185967
Filename :
1458646
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3443777
بازگشت