Login / Signup

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.

Wolfgang GrieskampNikolai TillmannColin CampbellWolfram SchulteMargus Veanes
Published in: QSIC (2005)
Keyphrases