CNR Institutional Research Information System

An abstract is not avaiable

Il progetto europeo GUARDS (Generic Upgradable Architecture for Real-time Dependable Systems) si propone di definire un'architettura hardware/software generica, che possa essere instanziata per supportare particolari applicazoni "embedded" critiche perla sicurezza, quali sistemi di controllo ferroviario sistemi di controllo di centrali nucleari, sistemi aerospaziali

Validazione formale di meccanismi per la tolleranza ai guasti

Fantechi A;Gnesi S
1997

Abstract

An abstract is not avaiable
1997
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Il progetto europeo GUARDS (Generic Upgradable Architecture for Real-time Dependable Systems) si propone di definire un'architettura hardware/software generica, che possa essere instanziata per supportare particolari applicazoni "embedded" critiche perla sicurezza, quali sistemi di controllo ferroviario sistemi di controllo di centrali nucleari, sistemi aerospaziali
Formal verification
Software/Program Verification
09.01 Nota tecnica
File in questo prodotto:
File Dimensione Formato  
prod_408827-doc_143578.pdf

accesso aperto

Descrizione: Validazione formale di meccanismi per la tolleranza ai guasti
Dimensione 547.29 kB
Formato Adobe PDF
Visualizza/Apri
547.29 kB 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/393581
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact