Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development : Volume 1: MODELSWARD / Hammoudi, Slimane; Ferreira Pires, Luis; Selic, Bran (Hrsg.). - Setúbal, Portugal : SCITEPRESS, 2020. - S. 360-372. - ISBN 9789897584008
In: MODELSWARD 2020 : 8th International Conference on Model-Driven Engineering and Software Development, 25. Feb. 2020 - 27. Feb. 2020, Valletta, Malta
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2020
- Urheber
- URN
-
urn:nbn:de:bsz:352-2-36psqv39yo5y6
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:44 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Caltais, Georgiana
- Leue, Stefan
- Singh, Hargurbir
- KOPS Universität Konstanz
Entstanden
- 2020
Ähnliche Objekte (12)
VR-SysML: SysML Model Visualization and Immersion in Virtual Reality
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Modellbasierte Systementwicklung mit SysML
Variant modeling with SysML
MBSE with SysML and eclipse papyrus
Integration von SysML und Modelica : Analyse und Ausarbeitung eines Prototyps zur automatisierten Integration von SysML und Modelica
SysML als Bindeglied zwischen Wirtschafts- und Ingenieurswissenschaften
Reflections on the standardization of SysML 2
Reflections on the standardization of SysML 2
Sys ML als Bindeglied zwischen Wirtschafts - und Ingenieurswissenschaften
Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams
VR-SysML: SysML Model Visualization and Immersion in Virtual Reality
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Modellbasierte Systementwicklung mit SysML
Variant modeling with SysML
MBSE with SysML and eclipse papyrus
Integration von SysML und Modelica : Analyse und Ausarbeitung eines Prototyps zur automatisierten Integration von SysML und Modelica
SysML als Bindeglied zwischen Wirtschafts- und Ingenieurswissenschaften
Reflections on the standardization of SysML 2
Reflections on the standardization of SysML 2
Sys ML als Bindeglied zwischen Wirtschafts - und Ingenieurswissenschaften
Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams
VR-SysML: SysML Model Visualization and Immersion in Virtual Reality
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
Model-driven development for functional correctness of avionics systems : a verification framework for SysML specifications
Modellbasierte Systementwicklung mit SysML
Variant modeling with SysML
MBSE with SysML and eclipse papyrus
Integration von SysML und Modelica : Analyse und Ausarbeitung eines Prototyps zur automatisierten Integration von SysML und Modelica
SysML als Bindeglied zwischen Wirtschafts- und Ingenieurswissenschaften
Reflections on the standardization of SysML 2
Reflections on the standardization of SysML 2
Sys ML als Bindeglied zwischen Wirtschafts - und Ingenieurswissenschaften