Cited By
View all- Elaasar MBadreddin O(2016)Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action LanguagesLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications10.1007/978-3-319-47169-3_5(50-67)Online publication date: 5-Oct-2016
- Hoyos HCasallas RJiménez FCorreal DWainer GTraoré MHeckel RHimmelspach J(2011)HiLeS2Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium10.5555/2048476.2048485(75-82)Online publication date: 3-Apr-2011
- Tilley SBellomo SMehlenbacher BProtopsaltis AWilliams ASlattery S(2009)7th international workshop on graphical documentationProceedings of the 27th ACM international conference on Design of communication10.1145/1621995.1622059(309-310)Online publication date: 5-Oct-2009
- Show More Cited By