Pages that link to "Item:Q1331923"
From MaRDI portal
The following pages link to A specification-oriented semantics for the refinement of real-time systems (Q1331923):
Displaying 6 items.
- Transformational vs reactive refinement in real-time systems (Q1350363) (← links)
- An action-based formal model for concurrent real-time systems (Q1362773) (← links)
- Induction in the timed interval calculus (Q1399964) (← links)
- Real-time refinement in Manna and Pnueli's temporal logic (Q1815342) (← links)
- A wide-spectrum language for object-based development of real-time systems (Q1961818) (← links)
- Computer-aided development of a real-time program (Q4798476) (← links)
