Pages that link to "Item:Q862853"

The following pages link to Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853):

Displayed 9 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)
• 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)