| Home | << 1 >> |
|
| Author | Title  |
Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | Model Based Synthesis of Control Software from System Level Formal Specifications | 2014 | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | ACM | 1049-331X | 10.1145/2559934 | 23 | Article 6 |