CINECA IRIS Institutional Research Information System
IRIS è l’archivio della produzione scientifica della Fondazione Bruno Kessler.
EnglishSafety critical systems—namely systems on which human lives depend—have to remain functional not only in nominal conditions, that is, when everything works as expected, but also when some of their components do not behave as expected. The methodologies, activities, and techniques to tackle this engineering challenge go under the name of safety analysis. This entry is an introduction to the development of safety critical systems with emphasis on some emerging techniques to support automated analysis and verification of complex systems.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte di FBK.
| Titolo: | Safety Critical Systems |
| Autori: | |
| Data di pubblicazione: | 2013 |
| Handle: | http://hdl.handle.net/11582/99803 |
| ISBN: | 9781420059786 |
| Appare nelle tipologie: | 2.4 Voce (in dizionario o enciclopedia) |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11582/99803
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018