Title :
Proceedings First IEEE International Conference on Formal Engineering Methods
Abstract :
Presents the front cover of the proceedings.
Keywords :
formal specification; formal verification; applications; embedded systems; experience; formal engineering methods; method integration; object orientation; process algebras; protocols; requirements; specifications; state; testing; verification;
Conference_Titel :
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location :
Hiroshima, Japan
Print_ISBN :
0-8186-8002-4
DOI :
10.1109/ICFEM.1997.630385
