Pages that link to "Item:Q4798476"
From MaRDI portal
The following pages link to Computer-aided development of a real-time program (Q4798476):
Displaying 7 items.
- The variety of variables in automated real-time refinement (Q706517) (← links)
- A program refinement tool (Q1272759) (← links)
- A specification-oriented semantics for the refinement of real-time systems (Q1331923) (← links)
- Transformational vs reactive refinement in real-time systems (Q1350363) (← links)
- Construction of programs for real-time processing and analysis of measuring information (Q1403210) (← links)
- Real-time refinement in Manna and Pnueli's temporal logic (Q1815342) (← links)
- The variety of variables in computer-aided real-time programming (Q2844816) (← links)