Login
中文
Dan Craigen
HIndex: 8
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Reason
Regulation
Formal verification
Computer hardware
Software system
Logic
Verification and validation
Computer security
System analysis
Verification
Software quality
Application software
Formal methods
Systems engineering
Automated theorem proving
Oscilloscope
Information security
Documentation
Certification
Theory of computation
Formal specification
Software Engineering
Writing
Life-critical system
Computer-aided software engineering
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Reason
Regulation
Formal verification
Computer hardware
Software system
Logic
Verification and validation
Computer security
System analysis
Verification
Software quality
Application software
Formal methods
Systems engineering
Automated theorem proving
Oscilloscope
Information security
Documentation
Certification
Theory of computation
Formal specification
Software Engineering
Writing
Life-critical system
Computer-aided software engineering
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
×
Share to your followers
Submit