The following pages link to Florian Lorber (Q1699227):
Displaying 6 items.
- Bounded determinization of timed automata with silent transitions (Q1699228) (← links)
- Conformance checking of real-time models. Symbolic execution vs. bounded model checking (Q2026779) (← links)
- Time to learn -- learning timed automata from tests (Q2176706) (← links)
- Bounded Determinization of Timed Automata with Silent Transitions (Q2945604) (← links)
- (Q3384887) (← links)
- A modeling concept for formal verification of OS-based compositional software (Q6535218) (← links)
