SOCLE

MaRDI QIDQ21460swMATHFDO

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