Welcome...

prof.dr. H. Brinksma (Ed)

Professor

Expertise

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

Publications

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

UT Research Information System

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands