The following pages link to Olga Grinchtein (Q604473):
Displayed 8 items.
- Learning of event-recording automata (Q604474) (← links)
- Network invariants for real-time systems (Q1019007) (← links)
- (Q2847414) (← links)
- (Q2851066) (← links)
- Inferring Network Invariants Automatically (Q3613429) (← links)
- Fundamental Approaches to Software Engineering (Q5316435) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464760) (← links)
- Inference of Event-Recording Automata Using Timed Decision Trees (Q5756611) (← links)