Author of the publication

AdvancingModel-Based Design by Modeling Approximations of Computational Semantics.

, and . EOOLT, volume 56 of Linköping Electronic Conference Proceedings, page 3-7. Linköping University Electronic Press, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Semantics for an interdisciplinary computation (WIP)., and . SpringSim (TMS-DEVS), page 5. ACM, (2013)Technical engine for democratization of modeling, simulations, and predictions., and . WSC, page 228:1-228:14. WSC, (2012)A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models., , and . MPM@MoDELS, volume 1112 of CEUR Workshop Proceedings, page 37-46. CEUR-WS.org, (2013)A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions., , , , and . Comput. Sci. Eng., 16 (3): 90-95 (2014)A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains, , and . Model-based testing for embedded systems, CRC Press, Boca Raton, (2011)Industry 4.0 as a Cyber-Physical System study., and . Softw. Syst. Model., 15 (1): 17-29 (2016)Three-dimensional conceptual model for service-oriented simulation, , , and . CoRR, (2009)A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities., , , and . HSCC, page 83-92. ACM, (2014)Automatic generation of test system instances for configurable cyber-physical systems., , , and . Softw. Qual. J., 25 (3): 1041-1083 (2017)A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains., and . Model-Based Testing for Embedded Systems, CRC Press, (2011)