Results 161 to 170 of about 365 (184)
Some of the next articles are maybe not open access.
A formal verification framework for SysML activity diagrams
Expert Systems With Applications, 2014Samir Ouchani +2 more
exaly
An integrated semantics for reasoning about SysML design models using refinement
Software and Systems Modeling, 2015Ana Lucia Caneca Cavalcanti +2 more
exaly
Cross-disciplinary engineering with AutomationML and SysML
Automatisierungstechnik, 2016Tanja Mayerhofer +2 more
exaly
An integrated framework for automated simulation of SysML models using DEVS
Simulation, 2014Mara Nikolaidou +2 more
exaly
A property-based abstraction framework for SysML activity diagrams
Knowledge-Based Systems, 2014Samir Ouchani +2 more
exaly