DocumentCode
1616433
Title
Proceedings First ACM and IEEE International Conference on Formal Methods and Models for Co-Design. MEMOCODE´03
fYear
2003
Abstract
The following topics are discussed: system level models and co-design; formal verification; field modifiability and verifiability; refinement; conformance; validation; synthesis; and optimization.
Keywords
conformance testing; optimisation; program verification; refinement calculus; software reusability; supervisory programs; systems analysis; conformance; field modifiability; field verifiability; formal verification; optimization; refinement; synthesis; system design; system level model; validation;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on
Conference_Location
Mont Saint Michel, France
Print_ISBN
0-7695-1923-7
Type
conf
DOI
10.1109/MEMCOD.2003.1210080
Filename
1210080
Link To Document