Department of Artificial Intelligence and Systems Engineering
abstraction (1) · concurrency (1) · formal verification (2) · local semantics (1) · model checking (1) · modell checking (1) · partial order reduction (1) · Theta* (1) · timed automaton (1) · timed systems (1)
2 theses in total. View all theses »