| Expertise |
The description, design and analysis of computer controlled systems, the properties being analysed are to guarantee that systems always operate withing certain safety bounds, meet deadlines, cannot been broken into or eavesdropped; Distributed systems; Process algebra; Modal logic; Real time; Encryption; Semantics; Automata |
| Expertise (NL) |
Het beschrijven, ontwerpen en analyseren van computergestuurde systemen, bij dit laatste moet gedacht worden aan het garanderen dat deze systemen altijd veilig opereren, deadlines halen, inbraak en aftapvrij zijn; Gedistribueerde systemen; Proces algebra; Modale logica; Real time; Encryptie; Semantiek; Automaten |
| Digital Author ID |
info:eu-repo/dai/nl/075010259 |
