Automatic Verification of a Turbogas Control System with the Murphi Verifier / DELLA PENNA, G; Intrigila, B; Melatti, Igor; Minichino, M; Ciancamerla, E; Parisse, A; Tronci, Enrico; VENTURINI ZILLI, M.. - STAMPA. - 2623:(2003), pp. 141-155. (Intervento presentato al convegno Hybrid Systems: Computation and Control (HSCC 2003) tenutosi a Prague, Czech Republic nel April 3-5, 2003) [10.1007/3-540-36580-X_13].
Automatic Verification of a Turbogas Control System with the Murphi Verifier
MELATTI, IGOR;TRONCI, Enrico;
2003
File 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.