The following pages link to PMaude (Q20431):
Displaying 7 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- On the accuracy of formal verification of selective defenses for TDoS attacks (Q1683703) (← links)
