vUML
From MaRDI portal
Software:21454
swMATH9471MaRDI QIDQ21454FDOQ21454
Author name not available (Why is that?)
Cited In (10)
- Formal verification of safety protocol in train control system
- Fundamental Approaches to Software Engineering
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intra- and interdiagram consistency checking of behavioral multiview models
- Correct transformation: from object-based graph grammars to PROMELA
- Title not available (Why is that?)
- Towards automated software model checking using graph transformation systems and bogor
- Model Checking of Extended OCL Constraints on UML Models in SOCLe
- Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project.
This page was built for software: vUML
