italiano | contact

Integrating model-checking architectural analysis and validation in a real software life-cycle

D. Compare, P. Inverardi, P. Pelliccione, A. Sebastiani

In the 12th International Formal Methods Europe Symposium (FME 2003), LNCS, pagg. 114-132, 2003

Contact: ,



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

continua ›


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

continua ›

Job Postings

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

continua ›