Pages that link to "Item:Q5178866"
From MaRDI portal
The following pages link to Modular refinement of hierarchic reactive machines (Q5178866):
Displaying 5 items.
- Compositional approach to the development of reactive algorithms (Q465979) (← links)
- A methodology to take credit for high-level verification during RTL verification (Q1696592) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- Dynamic Reactive Modules (Q3090845) (← links)
