%0 Conference Paper %1 conf/rsp/MetzgerBRVA06 %A Metzger, Michel %A Bastien, Frédéric %A Rousseau, Frédéric %A Vachon, Julie %A Aboulhamid, El Mostapha %B IEEE International Workshop on Rapid System Prototyping %D 2006 %I IEEE Computer Society %K dblp %P 91-97 %T Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. %U http://dblp.uni-trier.de/db/conf/rsp/rsp2006.html#MetzgerBRVA06 %@ 0-7695-2580-6

@inproceedings{conf/rsp/MetzgerBRVA06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Metzger, Michel and Bastien, Frédéric and Rousseau, Frédéric and Vachon, Julie and Aboulhamid, El Mostapha}, biburl = {https://www.bibsonomy.org/bibtex/2ca48cfd18b5e9712cbea6efa4d7620aa/dblp}, booktitle = {IEEE International Workshop on Rapid System Prototyping}, crossref = {conf/rsp/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/RSP.2006.22}, interhash = {00a7d118d3e15f38b4e3686b283d3896}, intrahash = {ca48cfd18b5e9712cbea6efa4d7620aa}, isbn = {0-7695-2580-6}, keywords = {dblp}, pages = {91-97}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:07:34.000+0200}, title = {Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.}, url = {http://dblp.uni-trier.de/db/conf/rsp/rsp2006.html#MetzgerBRVA06}, year = 2006 }