Pages that link to "Item:Q1951606"
From MaRDI portal
The following pages link to Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606):
Displaying 7 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving (Q6535202) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)