Author of the publication

Multi-view Modeling to Support Embedded Systems Engineering in SysML.

, , , and . Graph Transformations and Model-Driven Engineering, volume 5765 of Lecture Notes in Computer Science, page 580-601. Springer, (2010)

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

Combining SysML and Model Transformations to Support Systems Engineering Analysis., and . ECEASST, (2011)A formal framework for capturing knowledge to transform structural models into analysis models., , and . J. Simulation, 5 (3): 202-216 (2011)Using logic-based approaches to explore system architectures for systems engineering.. Georgia Institute of Technology, Atlanta, GA, USA, (2012)base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/44748).Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests., and . MoDELS (Workshops), volume 6627 of Lecture Notes in Computer Science, page 279-292. Springer, (2010)Multi-view Modeling to Support Embedded Systems Engineering in SysML., , , and . Graph Transformations and Model-Driven Engineering, volume 5765 of Lecture Notes in Computer Science, page 580-601. Springer, (2010)Integrating Models and Simulations of Continuous Dynamics Into SysML., , , and . J. Comput. Inf. Sci. Eng., (2012)