Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci. On model based synthesis of embedded control software. In Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr, editors, 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. pages 227-236, ACM, 2012. [doi]
@inproceedings{AlimguzhinMMST12,
title = {On model based synthesis of embedded control software},
author = {Vadim Alimguzhin and Federico Mari and Igor Melatti and Ivano Salvo and Enrico Tronci},
year = {2012},
doi = {10.1145/2380356.2380398},
url = {http://doi.acm.org/10.1145/2380356.2380398},
researchr = {https://researchr.org/publication/AlimguzhinMMST12},
cites = {0},
citedby = {0},
pages = {227-236},
booktitle = {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},
editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr},
publisher = {ACM},
isbn = {978-1-4503-1425-1},
}