%0 Conference Paper %1 conf/ifip5-5/BarbosaBRGFMCA11 %A Barbosa, Paulo E. S. %A Barros, João Paulo %A Ramalho, Franklin %A Gomes, Luís %A Figueiredo, Jorge %A Moutinho, Filipe %A Costa, Anikó %A Aranha, André %B DoCEIS %D 2011 %E Camarinha-Matos, Luis M. %I Springer %K dblp %P 256-265 %T SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. %U http://dblp.uni-trier.de/db/conf/ifip5-5/doceis2011.html#BarbosaBRGFMCA11 %V 349 %@ 978-3-642-19169-5

@inproceedings{conf/ifip5-5/BarbosaBRGFMCA11, added-at = {2024-02-19T00:00:00.000+0100}, author = {Barbosa, Paulo E. S. and Barros, João Paulo and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Moutinho, Filipe and Costa, Anikó and Aranha, André}, biburl = {https://www.bibsonomy.org/bibtex/2802158ecfc614b62eb31ac277853ec0a/dblp}, booktitle = {DoCEIS}, crossref = {conf/ifip5-5/2011doceis}, editor = {Camarinha-Matos, Luis M.}, ee = {https://doi.org/10.1007/978-3-642-19170-1_28}, interhash = {010dd1e6afda15126275a610793aed40}, intrahash = {802158ecfc614b62eb31ac277853ec0a}, isbn = {978-3-642-19169-5}, keywords = {dblp}, pages = {256-265}, publisher = {Springer}, series = {IFIP Advances in Information and Communication Technology}, timestamp = {2024-04-10T14:56:56.000+0200}, title = {SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.}, url = {http://dblp.uni-trier.de/db/conf/ifip5-5/doceis2011.html#BarbosaBRGFMCA11}, volume = 349, year = 2011 }