Login
中文
Ed Brinksma
HIndex: 16
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Communications protocol
Computer hardware
Computer network
Reactive system
Process calculus
Distributed computing
Specification language
Theory of computation
Embedded system
Formal specification
Input/output
Formal verification
Requirements analysis
Model of computation
Modeling and simulation
Model-based testing
Optimal control
Operational semantics
Stochastic process
Model checking
Real-time computing
Software system
Formal methods
Operating system
Automatic control
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Communications protocol
Computer hardware
Computer network
Reactive system
Process calculus
Distributed computing
Specification language
Theory of computation
Embedded system
Formal specification
Input/output
Formal verification
Requirements analysis
Model of computation
Modeling and simulation
Model-based testing
Optimal control
Operational semantics
Stochastic process
Model checking
Real-time computing
Software system
Formal methods
Operating system
Automatic control
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Ed Brinksma
University Of Twente
118
×
Share to your followers
Submit