Marius C. Bujorianu, Manuela L. Bujorianu, "An Integrated Specification Framework for Embedded Systems," Software Engineering and Formal Methods, IEEE International Conference on, pp. 161-172, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007.

@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, IEEE 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},
}

TY - CONF
JO - Software Engineering and Formal Methods, IEEE 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, IEEE International Conference on
ER -