Title :
Proceedings First ACM and IEEE International Conference on Formal Methods and Models for Co-Design. MEMOCODE´03
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;
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
DOI :
10.1109/MEMCOD.2003.1210080
