Pages that link to "Item:Q1601245"
From MaRDI portal
The following pages link to An introduction to Real-Time Object-Z. (Q1601245):
Displaying 4 items.
- Transformational vs reactive refinement in real-time systems (Q1350363) (← links)
- An overview of the integrated formalism RT-Z (Q1601243) (← links)
- A wide-spectrum language for object-based development of real-time systems (Q1961818) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709997) (← links)