Login
中文
John Derrick
HIndex: 17
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Concurrency
Object-oriented programming
Real-time computing
Requirements analysis
Computer network
Software verification
Verification and validation
State space
Theory of computation
Distributed computing
Formal methods
Process calculus
Performance
Refinement
Computer programming
Specification language
Logic
Model checking
Formal specification
Specification
Temporal logic
Verification
Standardization
Consistency
Reference model
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Concurrency
Object-oriented programming
Real-time computing
Requirements analysis
Computer network
Software verification
Verification and validation
State space
Theory of computation
Distributed computing
Formal methods
Process calculus
Performance
Refinement
Computer programming
Specification language
Logic
Model checking
Formal specification
Specification
Temporal logic
Verification
Standardization
Consistency
Reference model
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
John Derrick
University Of Kent
181
John Derrick
University Of Sheffield
50
×
Share to your followers
Submit