Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems.

Nico Nachtigall, Benjamin Braatz, Thomas Engel

Browse the full MODELS paper archive.