Welkom...

prof.dr. H. Brinksma (Ed)

Onbezoldigd hoogleraar

Expertises

Testing
Specifications
Semantics
Syntactics
Formal Methods
Algebra
Distribution Functions
Markov Chain
Process Algebra
Formal Specification
Costs
Timed Automata
Real Time Systems
Information Systems
Systems Engineering
Reachability
Specification Languages
Embedded Systems
Scheduling

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. DOI: 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