Fredrikstad, Norway, LNCS
Automatic Analysis of a Safety Critical Tele Control System / E., C., E., C., M., M., Tronci, E.. - 3688:(2005). (The 24th International Conference on: COMPUTER SAFETY, RELIABILITY AND SECURITY (SAFECOMP) Fredrikstad, Norway 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.


