Istituto di Scienza e Tecnologie dell'Informazione     
Cofer D., Fantechi A. Preface to FMICS 2008. In: Formal Methods for Industrial Critical Systems. Editorial, pp. V - VI. Darren D. Cofer, Alessandro Fantechi (eds.). Springer, 2009.
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.
URL: http://www.springerlink.com/content/l124v6p06065/?p=c49ea19cb53e46b29ee4129a86a2c6b1&pi=307
DOI: 10.1007/978-3-642-03240-0
Subject Formal Methods for Industrial Critical Systems
D.2.4 Software/Program Verification. Formal Methods

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional