Fredrikstad, Norway, LNCS
Automatic Analysis of a Safety Critical Tele Control System / E., Campagnano; E., Ciancamerla; M., Minichino; Tronci, Enrico. - 3688:(2005). (Intervento presentato al convegno The 24th International Conference on: COMPUTER SAFETY, RELIABILITY AND SECURITY (SAFECOMP) tenutosi a Fredrikstad, Norway nel 26 - 30 September 2005) [10.1007/11563228_8].
Automatic Analysis of a Safety Critical Tele Control System
TRONCI, Enrico
2005
Abstract
Fredrikstad, Norway, LNCSFile allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.