Pages that link to "Item:Q2864519"
From MaRDI portal
The following pages link to Recent advances in real-time Maude (Q2864519):
Displaying 5 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)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems (Q2703709) (← links)
- Abstraction and completeness for real-time Maude (Q2873773) (← links)