Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner. Formal Verification for Embedded Systems Design Based on MDE. In Achim Rettberg, Mauro Cesar Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig, editors, Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings. Volume 310 of IFIP, pages 159-170, Springer, 2009. [doi]
@inproceedings{NascimentoOW09-1,
title = {Formal Verification for Embedded Systems Design Based on MDE},
author = {Francisco Assis M. do Nascimento and Marcio F. da S. Oliveira and Flávio Rech Wagner},
year = {2009},
doi = {10.1007/978-3-642-04284-3_15},
url = {http://dx.doi.org/10.1007/978-3-642-04284-3_15},
tags = {rule-based, MDE, design},
researchr = {https://researchr.org/publication/NascimentoOW09-1},
cites = {0},
citedby = {0},
pages = {159-170},
booktitle = {Analysis, Architectures and Modelling of Embedded Systems, Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings},
editor = {Achim Rettberg and Mauro Cesar Zanella and Michael Amann and Michael Keckeisen and Franz J. Rammig},
volume = {310},
series = {IFIP},
publisher = {Springer},
isbn = {978-3-642-04283-6},
}