2000
Contribution to conference
Unknown
Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Gnesi S., Schieferdecker I., Rennoch A.
Formal methods Formal description techniques (FDT) Modelling specifications Verification
An abstract is not available
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:447250,
title = {Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems},
author = {Gnesi S. and Schieferdecker I. and Rennoch A.},
year = {2000}
}
0000-0002-0139-0421CNR ExploRA