MOMENT2
From MaRDI portal
Cited in
(29)- JavaFAN
- ITP/OCL
- Twenty years of rewriting logic
- Ptolemy
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
- MMT
- PMaude
- PVeStA
- MultiVeStA
- VESTA
- K tool
- MFE
- VIDEAS
- ITP
- UML2Alloy
- SelfSync
- Kermeta
- Dist-Orc
- vlogsl
- FORMULA 2.0
- TSMV
- The rewriting logic semantics project: a progress report
- Timed CTL model checking in Real-Time Maude
- The rewriting logic semantics project: a progress report
- Java+ITP
- Graph transformation for domain-specific discrete event time simulation
- On the behavioral semantics of real-time domain specific visual languages
- PTL: a model transformation language based on logic programming
- An algebraic semantics for MOF
This page was built for software: MOMENT2
