Pages that link to "Item:Q2873773"
From MaRDI portal
The following pages link to Abstraction and Completeness for Real-Time Maude (Q2873773):
Displaying 10 items.
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← 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)
