February 2014: Article published on TOSEM


When:
13 February, 2014 all-day
2014-02-13T00:00:00+00:00
2014-02-14T00:00:00+00:00

February 2014: Model Based Synthesis of Control Software from System Level Formal Specifications“, an article of Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci has been published on ACM Transactions On Software Engineering And Methodology (TOSEM).

DOI: 10.1145/2559934

Full article details are available here.