Pages that link to "Item:Q862853"
From MaRDI portal
The following pages link to Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853):
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)
- Joshua Guttman: pioneering strand spaces (Q2154021) (← links)
- Case studies in the specification and analysis of protocols in Maude (Q2703704) (← links)
- Specifying and Analyzing the Kademlia Protocol in Maude (Q2787447) (← links)
- Recent advances in real-time Maude (Q2864519) (← links)
- Abstraction and completeness for real-time Maude (Q2873773) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← 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)
