Pages that link to "Item:Q1608921"
From MaRDI portal
The following pages link to Specification of real-time and hybrid systems in rewriting logic (Q1608921):
Displayed 7 items.
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← 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)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)