| Expertise |
Model checking; Informatica; Betrouwbaarheidsanalyse; Communicatieprotocollen; Computer Science; Dependability; Embedded systemen; Formele methoden; Programmeertalen; Game Theory; Mathematisch programmeren; Model-gebaseerde prestatie-analyse; Real-time embedded regelsystemen; Software engineering; Systeemverificatie; Algorithmic Game Theory; Formele talen theorie |
| Expertise (EN) |
Model checking; Informatics; Reliability analysis; communication protocols; computer science; Dependability; Embedded systems; Formal methods; Programming languages; Game Theory; Mathematical programming; Model-based performance-analysis; Real-time embedded control systems; Software engineering; System verification; Algorithmic Game Theory; Formal languages theory |
| Digital Author ID |
info:eu-repo/dai/nl/109716922 |
Persoon