Welkom...

prof.dr. H. Brinksma (Ed)

Hoogleraar UT & President TUHH

Expertises

Mathematics
Abstraction
Schedule
Scheduling
Timed Automata
Engineering & Materials Science
Automata Theory
Scheduling
Specifications
Testing

Nevenactiviteiten

  • Erasmus University Rotterdam
    President ofd the Executive Board

Publicaties

Recent
Brinksma, E. , Stoelinga, M. , & Timmer, M. (2017). Testing Divergent Transition Systems. In L. Aceto, G. Bacci, G. Bacci, A. Ingolfsdottir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (pp. 339). (Lecture Notes in Computer Science; Vol. 10460). Springer. https://doi.org/10.1007/978-3-319-63121-9_17

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede