%0 Conference Paper %1 conf/etfa/GomesBCPM05 %A Gomes, Luís %A Barros, João Paulo %A Costa, Anikó %A Pais, Rui %A Moutinho, Filipe %B ETFA %D 2005 %I IEEE %K dblp %T Towards usage of formal methods within embedded systems co-design. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2005.html#GomesBCPM05 %@ 0-7803-9401-1

@inproceedings{conf/etfa/GomesBCPM05, added-at = {2020-09-05T00:00:00.000+0200}, author = {Gomes, Luís and Barros, João Paulo and Costa, Anikó and Pais, Rui and Moutinho, Filipe}, biburl = {https://www.bibsonomy.org/bibtex/2b5391e6a28d4860a1d15395897062161/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2005}, ee = {https://doi.org/10.1109/ETFA.2005.1612535}, interhash = {84bc5067334797b0ebd392c78a13e1ed}, intrahash = {b5391e6a28d4860a1d15395897062161}, isbn = {0-7803-9401-1}, keywords = {dblp}, publisher = {IEEE}, timestamp = {2020-09-09T15:09:25.000+0200}, title = {Towards usage of formal methods within embedded systems co-design.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2005.html#GomesBCPM05}, year = 2005 }