Inproceedings,
On model based synthesis of embedded control software.
V. Alimguzhin, F. Mari, I. Melatti, I. Salvo, and E. Tronci.EMSOFT, page 227-236. ACM, (2012)
Meta data
- BibTeX key
- conf/emsoft/AlimguzhinMMST12
- entry type
- inproceedings
- booktitle
- EMSOFT
- year
- 2012
- pages
- 227-236
- publisher
- ACM
- crossref
- conf/emsoft/2012
- ee
- https://doi.org/10.1145/2380356.2380398
- isbn
- 978-1-4503-1425-1
- url
- http://dblp.uni-trier.de/db/conf/emsoft/emsoft2012.html#AlimguzhinMMST12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/emsoft/AlimguzhinMMST12
%A Alimguzhin, Vadim
%A Mari, Federico
%A Melatti, Igor
%A Salvo, Ivano
%A Tronci, Enrico
%B EMSOFT
%D 2012
%E Jerraya, Ahmed
%E Carloni, Luca P.
%E Maraninchi, Florence
%E Regehr, John
%I ACM
%K dblp
%P 227-236
%T On model based synthesis of embedded control software.
%U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2012.html#AlimguzhinMMST12
%@ 978-1-4503-1425-1
@inproceedings{conf/emsoft/AlimguzhinMMST12,
added-at = {2019-09-25T00:00:00.000+0200},
author = {Alimguzhin, Vadim and Mari, Federico and Melatti, Igor and Salvo, Ivano and Tronci, Enrico},
biburl = {https://www.bibsonomy.org/bibtex/24e52dd729b4ca41eb625376b163a82d4/dblp},
booktitle = {EMSOFT},
crossref = {conf/emsoft/2012},
editor = {Jerraya, Ahmed and Carloni, Luca P. and Maraninchi, Florence and Regehr, John},
ee = {https://doi.org/10.1145/2380356.2380398},
interhash = {b0eb06ac004853728c68b24bf1b0c513},
intrahash = {4e52dd729b4ca41eb625376b163a82d4},
isbn = {978-1-4503-1425-1},
keywords = {dblp},
pages = {227-236},
publisher = {ACM},
timestamp = {2019-09-26T14:16:11.000+0200},
title = {On model based synthesis of embedded control software.},
url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2012.html#AlimguzhinMMST12},
year = 2012
}