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?)
- Improving UML with Petri nets
- 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
This page was built for software: vUML
