| Home | << 1 >> |
|
| Author | Title | Year | Publication | Volume | Pages |
|---|---|---|---|---|---|
| Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. | Model Based Synthesis of Control Software from System Level Formal Specifications | 2014 | Acm Transactions On Software Engineering And Methodology | 23 | 6 |