Login
中文
Richard A Kemmerer
HIndex: 14
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Complex systems
Temporal logic
Computer network
Information security
Discrete time and continuous time
Application software
Computer Science
Software development process
Formal verification
Intrusion detection system
Finite-state machine
Requirements analysis
Software development
Communications protocol
Logic
Theory of computation
Formal methods
Model checking
Satisfiability
Software Testing
Covert channel
Formal specification
Real-time computing
Verification
Programming language
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Complex systems
Temporal logic
Computer network
Information security
Discrete time and continuous time
Application software
Computer Science
Software development process
Formal verification
Intrusion detection system
Finite-state machine
Requirements analysis
Software development
Communications protocol
Logic
Theory of computation
Formal methods
Model checking
Satisfiability
Software Testing
Covert channel
Formal specification
Real-time computing
Verification
Programming language
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Richard A Kemmerer
University Of California
106
Richard A Kemmerer
University Of California
48
Richard A Kemmerer
System Development Corporation
1
×
Share to your followers
Submit