The following pages link to Jochen Klose (Q239135):
Displayed 6 items.
- (Q2769611) (← links)
- (Q2783115) (← links)
- (Q4435875) (← links)
- (Q5481211) (← links)
- Check It Out: On the Efficient Formal Verification of Live Sequence Charts (Q5756737) (← links)
- Verification of a radio-based signaling system using the STATEMATE verification environment (Q5959851) (← links)