MOMENT2
From MaRDI portal
Software:21999
No author found.
Related Items (9)
Timed CTL Model Checking in Real-Time Maude ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ An algebraic semantics for MOF ⋮ 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 ⋮ The Rewriting Logic Semantics Project: A Progress Report
This page was built for software: MOMENT2
