Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid. Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. In 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece. pages 91-97, IEEE Computer Society, 2006. [doi]
@inproceedings{MetzgerBRVA06,
title = {Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment},
author = {Michel Metzger and Frederic Bastien and Frédéric Rousseau and Julie Vachon and El Mostapha Aboulhamid},
year = {2006},
doi = {10.1109/RSP.2006.22},
url = {http://doi.ieeecomputersociety.org/10.1109/RSP.2006.22},
tags = {meta-model, Meta-Environment, design, meta-objects, introspection},
researchr = {https://researchr.org/publication/MetzgerBRVA06},
cites = {0},
citedby = {0},
pages = {91-97},
booktitle = {17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece},
publisher = {IEEE Computer Society},
isbn = {0-7695-2580-6},
}