Marius C. Bujorianu, Manuela L. Bujorianu,
"An Integrated Specification Framework for Embedded Systems,"
Software Engineering and Formal Methods, International Conference on, pp. 161-172, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007.
BibTex
x
@article{
10.1109/SEFM.2007.6, author = {Marius C. Bujorianu and Manuela L. Bujorianu}, title = {An Integrated Specification Framework for Embedded Systems}, journal ={Software Engineering and Formal Methods, International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2884-8}, pages = {161-172}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.6}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Software Engineering and Formal Methods, International Conference on TI - An Integrated Specification Framework for Embedded Systems SN - 0-7695-2884-8 SP161 EP172 A1 - Marius C. Bujorianu, A1 - Manuela L. Bujorianu, PY - 2007 KW - null VL - 0 JA - Software Engineering and Formal Methods, International Conference on ER -
Marius C. Bujorianu, Manuela L. Bujorianu, "An Integrated Specification Framework for Embedded Systems," sefm, pp.161-172, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007