Dominik Auras, Andreas Minwegen, Uwe Deidersen. Just-in-Time Verification in ADL-based processor design. In 2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XII, Samos, Greece, July 16-19, 2012. pages 1-6, IEEE, 2012. [doi]
@inproceedings{AurasMD12,
title = {Just-in-Time Verification in ADL-based processor design},
author = {Dominik Auras and Andreas Minwegen and Uwe Deidersen},
year = {2012},
doi = {10.1109/SAMOS.2012.6404151},
url = {http://dx.doi.org/10.1109/SAMOS.2012.6404151},
researchr = {https://researchr.org/publication/AurasMD12},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XII, Samos, Greece, July 16-19, 2012},
publisher = {IEEE},
isbn = {978-1-4673-2295-9},
}