Pages that link to "Item:Q5929982"
From MaRDI portal
The following pages link to A sequential real-time refinement calculus (Q5929982):
Displayed 5 items.
- A formal model of real-time program compilation (Q1603710) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- A theory for execution-time derivation in real-time programs (Q2576947) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)