italiano | contact

A Scenario Based Notation for Specifying Temporal Properties

Marco Autili, Paola Inverardi, and Patrizio Pelliccione

5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06). Shanghai, China, May 27, 2006., 2006

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 ›