PUMA
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.
 
 
Abstract
(English)
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