Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes. Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. In 2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA. pages 72-82, IEEE Computer Society, 2005. [doi]
@inproceedings{GrieskampTCSV05, title = {Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation}, author = {Wolfgang Grieskamp and Nikolai Tillmann and Colin Campbell and Wolfram Schulte and Margus Veanes}, year = {2005}, doi = {10.1109/QSIC.2005.10}, url = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.10}, tags = {rule-based, composition, testing}, researchr = {https://researchr.org/publication/GrieskampTCSV05}, cites = {0}, citedby = {0}, pages = {72-82}, booktitle = {2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2399-4}, }