%0 Conference Proceedings
%T On Model Based Synthesis of Embedded Control Software
%A Alimguzhin, Vadim
%A Mari, Federico
%A Melatti, Igor
%A Salvo, Ivano
%A Tronci, Enrico
%Y Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr
%S Proceedings of the 12th International Conference on Embedded                Software, EMSOFT 2012, part of the Eighth Embedded Systems                Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012
%D 2012
%I ACM
%@ 978-1-4503-1425-1
%F Alimguzhin_etal2012
%O Techreport version can be found at arxiv.org
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=97), last updated on Wed, 20 Feb 2013 15:50:29 +0100
%R 10.1145/2380356.2380398
%U http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2012/97_Alimguzhin_etal2012.pdf
%U https://doi.org/10.1145/2380356.2380398
%P 227-236