SOCLE
From MaRDI portal
Software:21460
No author found.
Related Items (2)
Model Checking of Extended OCL Constraints on UML Models in SOCLe ⋮ Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets
This page was built for software: SOCLE