2003
Contribution to journal
Open Access
Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems
Garavel H., Gnesi S., Schieferdeckerc I.
Software Formal methods
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).
Metrics
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:146888,
title = {Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems},
author = {Garavel H. and Gnesi S. and Schieferdeckerc I.},
doi = {10.1016/s0167-6423(02)00091-6},
year = {2003}
}CNR authorsLaboratories
0000-0002-0139-0421CNR ExploRA
DOIAlso available from
DOIAlso available from
