Demissie B. Aredo, Olaf Owe. Model-Based Verification in the Development of Dependable Systems. In International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA. pages 327-334, IEEE Computer Society, 2005. [doi]
@inproceedings{AredoO05,
title = {Model-Based Verification in the Development of Dependable Systems},
author = {Demissie B. Aredo and Olaf Owe},
year = {2005},
doi = {10.1109/ITCC.2005.203},
url = {http://dx.doi.org/10.1109/ITCC.2005.203},
tags = {rule-based, meta-model, model-driven development, Meta-Environment},
researchr = {https://researchr.org/publication/AredoO05},
cites = {0},
citedby = {0},
pages = {327-334},
booktitle = {International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA},
publisher = {IEEE Computer Society},
}