Pages that link to "Item:Q2709808"
From MaRDI portal
The following pages link to Diagram refinements for the design of reactive systems (Q2709808):
Displaying 8 items.
- Refinement patterns for ASTDs (Q736838) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Predicate diagrams for the verification of real-time systems (Q2642985) (← links)
- Constraint diagrams (Q2723559) (← links)
- Predicate diagrams for the verification of real-time systems (Q2863860) (← links)
- (Q4370285) (← links)
- Computer Science Logic (Q5292621) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898629) (← links)