Walter Maydl. Model checking for component-based software development for embedded systems. In M. H. Hamza, editor, Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. pages 331-338, IASTED/ACTA Press, 2004.
@inproceedings{Maydl04:1,
title = {Model checking for component-based software development for embedded systems},
author = {Walter Maydl},
year = {2004},
tags = {rule-based, software components, model checking, meta-model, embedded software, software component, model-driven development, Meta-Environment},
researchr = {https://researchr.org/publication/Maydl04%3A1},
cites = {0},
citedby = {0},
pages = {331-338},
booktitle = {Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA},
editor = {M. H. Hamza},
publisher = {IASTED/ACTA Press},
isbn = {0-88986-425-X},
}