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
Inglese
119
120
2
Sommario non disponibile.
Trento, july 11-12, 1999 - selected papers. Introduction, vol. 19, n. 2 (2001) - Codice PuMa: cnr.iei/2001-B5-006
Formal methods
Industrial critical systems
Software/program verification
2
01 Contributo su Rivista::01.10 Curatela di numero monografico in rivista
Gnesi S.; Latella D.
284
info:eu-repo/semantics/other
reserved
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