italiano | contact

Graphical Scenarios for Specifying Temporal Properties: an Automated Approach

Marco Autili, Paola Inverardi, and Patrizio Pelliccione

Automated Software Engineering (ASE) journal. DOI 10.1007/s10515-007-0012-6. Volume 14, Number 3 / September, 2007., 2007

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 ›