Pages that link to "Item:Q2873773"
From MaRDI portal
The following pages link to Abstraction and completeness for real-time Maude (Q2873773):
Displaying 13 items.
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- On the complexity of verification of time-sensitive distributed systems (Q2154017) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Recent advances in real-time Maude (Q2864519) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← 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)
