Publication Date:
2009
abstract:
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications.
Iris type:
01.10 Curatela di numero monografico in rivista
Keywords:
D.2.4 Software/Program Verification. Formal Methods; Formal Methods for Industrial Critical Systems
List of contributors: