- Tytuł:
- A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
- Autorzy:
-
Elmansouri, Raida
Meghzili, Said
Chaoui, Allaoua - Data publikacji:
- 2021
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
model-driven engineering
graph transformation
transformation correctness
model checker
groove
software systems - Dostawca treści:
- Biblioteka Nauki
Artykuł