The following pages link to Brian Nielsen (Q633289):
Displaying 7 items.
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Learning deterministic probabilistic automata from a model checking perspective (Q1689574) (← links)
- (Q2769597) (← links)
- Distributed Algorithms for Time Optimal Reachability Analysis (Q4603566) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464469) (← links)
- Formal Approaches to Software Testing (Q5710654) (← links)
- Formal Approaches to Software Testing (Q5902014) (← links)
