CNR Institutional Research Information System

formal methods for industrial critical systems.

Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems.

Gnesi S;Latella D
1998

Abstract

formal methods for industrial critical systems.
1998
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
formal methods; industrial critical systems.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/231792
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact