Pages that link to "Item:Q5902540"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902540):
Displaying 4 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)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
