CNR Institutional Research Information System

Sommario non disponibile.

An abstract is not available.

Automated verification of fault tolerance mechanisms

Fantechi A;Gnesi S;
1998

Abstract

An abstract is not available.
1998
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
Third International Workshop on Formal Methods for Industrial Critical Systems.
15
Sì, ma tipo non specificato
May 25-26 1998
Amsterdam, The Netherlands
Sommario non disponibile.
Fault-tolerance
Formal verification
Model checking
Codice PuMa: /cnr.iei/1998-A2-062
4
open
Bernardeschi, C; Fantechi, A; Gnesi, S; Santone, A
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
prod_408955-doc_143651.pdf

accesso aperto

Descrizione: Automated verification of fault tolerance mechanisms
Tipologia: Versione Editoriale (PDF)
Dimensione 1.7 MB
Formato Adobe PDF
Visualizza/Apri
1.7 MB Adobe PDF Visualizza/Apri

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