DocumentCode :
3618936
Title :
Toward automatic generation of promela models from SDL specification
Author :
B. Vlaovic;A. Vreze;Z. Brezocnik;T. Kapus
Volume :
2
fYear :
2005
fDate :
6/27/1905 12:00:00 AM
Firstpage :
639
Lastpage :
644
Keywords :
"Automata","Formal verification","Mathematical model","Protocols","Probes","Electronic mail","Flowcharts","Formal specifications","Animation","Testing"
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.185973
Filename :
1458652
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3618936
