%0 Journal Article
%T Model Based Synthesis of Control Software from System Level Formal Specifications
%A Mari, Federico
%A Melatti, Igor
%A Salvo, Ivano
%A Tronci, Enrico
%J ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
%D 2014
%V 23
%N 1
%I ACM
%@ 1049-331X
%F Mari_etal2014
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=110), last updated on Fri, 04 Jul 2014 16:23:57 +0200
%R 10.1145/2559934
%U http://dl.acm.org/citation.cfm?id=2559934&CFID=294047825&CFTOKEN=78075392
%U http://mclab.di.uniroma1.it/publications/papers/mari/2014/110_Mari_etal2014.pdf
%U https://doi.org/10.1145/2559934
%P Article 6