Qualitative and Quantitative Analysis of Avionics Full DupleX Network Models

von Hotescu, Oana
Veröffentlicht in European Simulation and Modelling Conference (35. : 2021 : Online) Modelling and Simulation 2021 (2021)

A Methodological Assistant for Use Case Diagrams

von Aquino, Erika Rizzo
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020 (2020)

A Methodological Assistant for UML and SysML Use Case Diagrams

von Aquino, Erika Rizzo
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) Model-driven engineering and software development (2021)

Dependency Graphs to Boost the Verification of SysML Models

von Apvrille, Ludovic
Veröffentlicht in MODELSWARD (Veranstaltung : 9. : 2021 : Online) Model-Driven engineering and software development (2023)

A Formal Framework for Modeling and Prediction of Aircraft Operability using SysML

von Manikar, Sagar Shenoy
Veröffentlicht in European Simulation and Modelling Conference (34. : 2020 : Online) Modelling and simulation 2020 (2020)