CNR Institutional Research Information System

Sommario non disponibile.

An abstract is not available.

Formal validation 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
FTCS:The 28th Annual International Symposium on Fault-Tolerant Computing. Digest of FastAbstracts
3
Sì, ma tipo non specificato
1998
Munich, Germany
Sommario non disponibile.
Fault-tolerance
Formal verification
Model checking
Pubblicato da: IEEE Computer Society - Codice PuMa: /cnr.iei/1998-A2-061
4
restricted
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_408962-doc_143656.pdf

solo utenti autorizzati

Descrizione: Formal validation of fault-tolerance mechanisms
Tipologia: Versione Editoriale (PDF)
Dimensione 399.71 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
399.71 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/386595
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact