SOCLE

swMATH9477MaRDI QIDQ21460FDOQ21460

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-540-72952-5_4

Cited In (3)

• Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
• vUML
• Model Checking of Extended OCL Constraints on UML Models in SOCLe

This page was built for software: SOCLE