CNR Institutional Research Information System

An abstract is not available.

Sommario non disponibile.

Special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems

Gnesi S;Latella D
2001

Abstract

An abstract is not available.
2001
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Sommario non disponibile.
Formal methods
Industrial critical systems
Software/program verification
File in questo prodotto:
File Dimensione Formato  
prod_190093-doc_141552.pdf

non disponibili

Descrizione: Special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems
Tipologia: Versione Editoriale (PDF)
Dimensione 28.88 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
28.88 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/231786
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact