The following pages link to vUML (Q21454):
Displaying 10 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Intra- and interdiagram consistency checking of behavioral multiview models (Q1749133) (← links)
- Formal verification of safety protocol in train control system (Q2321189) (← links)
- (Q4412530) (← links)
- (Q4417843) (← links)
- (Q4438797) (← links)
- 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. (Q4923512) (← links)
- Fundamental Approaches to Software Engineering (Q5428893) (← links)
- Model Checking of Extended OCL Constraints on UML Models in SOCLe (Q5428906) (← links)
