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]
Abstract is missing.