The following pages link to The Spotlight Principle (Q5452606):
Displaying 4 items.
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
