The following pages link to Tobe Toben (Q271720):
Displayed 6 items.
- Safety and precision of spatial context models for autonomous systems (Q271722) (← links)
- (Q2863857) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- On the Expressive Power of Live Sequence Charts (Q3593076) (← links)
- Non-interference Properties for Data-Type Reduction of Communicating Systems (Q3608898) (← links)
- Check It Out: On the Efficient Formal Verification of Live Sequence Charts (Q5756737) (← links)