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

Mathematics

Process Algebra
Process Calculi
Timed Automata
Reachability
Markov chain
Costs
Concurrent
Bisimulation
Algebra
Modeling
Stochastic Process Algebra
Behavioral Approach
Hybrid Dynamical Systems
Markovian Process
Facet
Continuous-time Markov Chain
Nondeterminism
Concurrent Systems
Discrete Event Systems
Equivalence class
Interconnection
Linearly
Entire
Computer Science
Dynamical system
Equivalence
Computing
Internal