The following pages link to Kåre J. Kristoffersen (Q1858444):
Displaying 6 items.
- (Q169906) (redirect page) (← links)
- Automated verification of an audio-control protocol using UPPAAL (Q1858445) (← links)
- (Q2718777) (← links)
- (Q3901376) (← links)
- Automatic synthesis of real time systems (Q4645208) (← links)
- Verification of large state/event systems using compositionality and dependency analysis (Q5929098) (← links)
