Pages that link to "Item:Q1282325"
From MaRDI portal
The following pages link to Transformational design of real-time systems. I: From requirements to program specifications (Q1282325):
Displaying 5 items.
- Transformational design of real-time systems. II: From program specifications to programs (Q1127814) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- Safe Runtime Verification of Real-Time Properties (Q3648826) (← links)
- (Q4000509) (← links)
- Computer-aided development of a real-time program (Q4798476) (← links)