Verfasser Suchresultate :: Subito Katalog

1

Formal Model Checking and Transformations of Models Represented in UML with Alloy

von Kherbouche, Meriem
Veröffentlicht in M2P (2. : 2020 : Lappeenranta) Modelling to program (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

The Use of M2P in Business Process Improvement and Optimization

von Kherbouche, Meriem
Veröffentlicht in ADBIS (26. : 2022 : Turin) New trends in database and information systems (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: