No photo of Hendrik Brinksma

Hendrik Brinksma

prof.dr.

1987 …2017
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Engineering & Materials Science

Specifications
Semantics
Testing
Syntactics
Formal methods
Specification languages
Embedded software
Algebra
Real time systems
Systems engineering
Embedded systems
Distribution functions
Information systems
Scheduling
Model checking
Black-box testing
Automata theory
Lacquers
Network protocols
Systems analysis
Hardware
Random processes
Petri nets
Merging
Planning
System theory
Software design
Quality of service
Hybrid systems
Costs
Computer science
Formal specification