http://www.cnr.it/ontology/cnr/individuo/prodotto/ID68327
FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems (Articolo in rivista)
- Type
- Label
- FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems (Articolo in rivista) (literal)
- Anno
- 2006-01-01T00:00:00+01:00 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Massink M., Margaria T. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- In: ERCIM News, vol. 64 pp. 6 - 7. Peter Kunz (ed.). ERCIM, 2006. (literal)
- Titolo
- FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems (literal)
- Abstract
- Report on the 10th edition of the FMICS international workshop held in Lisbon in 2005. (literal)
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Autore CNR di
- Prodotto
- Insieme di parole chiave di