Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss. State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. In Stefan Gruner, Bernhard Rumpe, editors, FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). Volume 179 of LNI, pages 49-62, GI, 2010.
@inproceedings{HeckelerBKRRW10,
title = {State-based Analysis and UML-driven Equivalence Checking for C++ State Machines},
author = {Patrick Heckeler and Jörg Behrend and Thomas Kropf and Jürgen Ruf and Wolfgang Rosenstiel and Roland J. Weiss},
year = {2010},
tags = {rule-based, analysis, UML, C++, state machines},
researchr = {https://researchr.org/publication/HeckelerBKRRW10},
cites = {0},
citedby = {0},
pages = {49-62},
booktitle = {FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy)},
editor = {Stefan Gruner and Bernhard Rumpe},
volume = {179},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-273-4},
}