TY  - CONF
AU  - Alimguzhin, Vadim
AU  - Mari, Federico
AU  - Melatti, Igor
AU  - Salvo, Ivano
AU  - Tronci, Enrico
ED  - Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr
PY  - 2012
DA  - 2012//
TI  - On Model Based Synthesis of Embedded Control Software
BT  - 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
SP  - 227
EP  - 236
PB  - ACM
SN  - 978-1-4503-1425-1
L1  - http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2012/97_Alimguzhin_etal2012.pdf
UR  - https://doi.org/10.1145/2380356.2380398
DO  - 10.1145/2380356.2380398
N1  - Techreport version can be found at arxiv.org
ID  - Alimguzhin_etal2012
ER  -