Results 181 to 190 of about 8,831 (214)

Reliability study of complex physical systems using SysML

Reliability Engineering and System Safety, 2010
Pierre David, Frédéric Kratz
exaly  

Automated transformation of design text ROM diagram into SysML models

Advanced Engineering Informatics, 2016
Hyunmin Cheong, Yong Zeng
exaly  

Integrating Models and Simulations of Continuous Dynamics Into SysML

Journal of Computing and Information Science in Engineering, 2012
Christiaan J J Paredis
exaly  

A methodology for verifying SysML requirements using activity diagrams

Innovations in Systems and Software Engineering, 2016
Messaoud Rahim, ِAhmed Hammad, Malika Ioualalen   +2 more
exaly  

System-level model integration of design and simulation for mechatronic systems based on SysML

Mechatronics, 2011
Yue Cao, Yusheng Liu, Christiaan J J Paredis   +2 more
exaly  

The 3+1 SysML View-Model in Model Integrated Mechatronics

Journal of Software Engineering and Applications, 2010
Kleanthis Thramboulidis
exaly  

A formal verification framework for SysML activity diagrams

Expert Systems With Applications, 2014
Samir Ouchani, Mourad Debbabi
exaly  

The SysML notation

2013
openaire   +1 more source

Cross-disciplinary engineering with AutomationML and SysML

Automatisierungstechnik, 2016
Luca Berardinelli, Stefan Biffl, Arndt Lüder   +2 more
exaly  

An integrated semantics for reasoning about SysML design models using refinement

Software and Systems Modeling, 2015
Alvaro Miyazawa, Ana Cavalcanti, Marcio Cornelio   +2 more
exaly