DocumentCode :
2344830
Title :
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)
fYear :
1998
fDate :
9-11 Dec. 1998
Abstract :
The following topics are dealt with: formal engineering methods; real time concurrency; verification methods; animation and model checking; test sets; specification languages; and object oriented systems
Keywords :
formal specification; object-oriented programming; parallel processing; program testing; program verification; real-time systems; specification languages; animation; formal engineering methods; model checking; object oriented systems; real time concurrency; specification languages; test sets; verification methods;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Engineering Methods, 1998. Proceedings. Second International Conference on
Conference_Location :
Brisbane, Queensland, Australia
Print_ISBN :
0-8186-9198-0
Type :
conf
DOI :
10.1109/ICFEM.1998.730562
Filename :
730562
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2344830
بازگشت