PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Garavel H., Gnesi S., Schieferdecker I. Preface. In: Science of Computer Programming. Editorial, vol. 46 pp. 145 - 146. Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (Berlin, April 3-4, 2000). Selected papers. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker (eds.). Elsevier, 2003.
 
 
Abstract
(English)
The purpose of this special issue of the International Journal Science in Computer Programming is to present a selection of papers from the Proceedings of the 5th ERCIM International Workshop on Formal Methods for Industrial Critical Systems (FMICS), which took place in Berlin in March 2000. FMICS is the ERCIM Working Group on Formal Methods for Industrial Critical Systems. Launched in 1996 by Diego Latella and Stefania Gnesi (CNR Pisa), the FMICS working group is currently chaired by Hubert Garavel (INRIA Rhone-Alpes).
Subject Formal Methods for Industrial Critical Systems
D.2.4 Software/Program Verification


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