Nico Nachtigall, Benjamin Braatz, Thomas Engel. Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. In Frédéric Boulanger, Michalis Famelis, Daniel Ratiu, editors, Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, October 1st, 2013. Volume 1069 of CEUR Workshop Proceedings, pages 61-66, CEUR-WS.org, 2013. [doi]
Abstract is missing.