Login
中文
Matthew B Dwyer
HIndex: 29
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Real-time computing
Software verification
Java
Cost-effectiveness analysis
Component-based software engineering
Object-oriented programming
Computer Science
Theory of computation
Static analysis
Empirical research
Verification
Software Testing
Computer hardware
Source code
Program analysis
Model checking
Data-flow analysis
State space
Software system
Verification and validation
Algorithm
System testing
Software Engineering
Logic
Formal methods
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Real-time computing
Software verification
Java
Cost-effectiveness analysis
Component-based software engineering
Object-oriented programming
Computer Science
Theory of computation
Static analysis
Empirical research
Verification
Software Testing
Computer hardware
Source code
Program analysis
Model checking
Data-flow analysis
State space
Software system
Verification and validation
Algorithm
System testing
Software Engineering
Logic
Formal methods
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Matthew B Dwyer
University Of Nebraska Lincoln
173
Matthew B Dwyer
University Of Massachusetts Amherst
10
×
Share to your followers
Submit