italiano | contact
PUBLICATION

Automatic Verification of a Turbogas Control System with the Murphi Verifier

G. Della Penna, B. Intrigila, I.Melatti, M.Minichino, E. Ciancamerla, A. Parisse, E. Tronci, M. Venturini Zilli

Conference on Hybrid Systems: Computation and Control, LNCS, pagg. 141-155, 2003

Contact: ,

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›