Login
中文
Jan Tretmans
HIndex: 18
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Software Testing
Systems engineering
Communications protocol
Conformance testing
Finite-state machine
Reactive system
Web service
Performance
Informatics
Input/output
Integrable system
Software development process
Semantics
Embedded system
Automaton
Model-based testing
Component-based software engineering
Software system
State space
Level of detail
Communications system
Real-time computing
Model checking
Motion control
Formal methods
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Software Testing
Systems engineering
Communications protocol
Conformance testing
Finite-state machine
Reactive system
Web service
Performance
Informatics
Input/output
Integrable system
Software development process
Semantics
Embedded system
Automaton
Model-based testing
Component-based software engineering
Software system
State space
Level of detail
Communications system
Real-time computing
Model checking
Motion control
Formal methods
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Jan Tretmans
University Of Twente
74
×
Share to your followers
Submit