Controller synthesis: from modelling to enactment
| Title | Controller synthesis: from modelling to enactment |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Braberman, VA, D'Ippolito, N, Piterman, N, Sykes, D, Uchitel, S |
| Conference Name | ICSE |
Work Package:
WP4
