Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ranganayakulu Sri
Formal Based Verification to Build Safer Cars
International Journal of Computer Applications
Related publications
RESRAD-BUILD Verification.
She's Teaching Us How to Build a Safer Parachute
Chemical and Engineering News
Chemical Engineering
The MODUS Approach to Formal Verification
Business Systems Research
Information Systems
Finance
Economics
Management Information Systems
Innovation
Management of Technology
Econometrics
Towards Formal Verification of Role-Based Access Control Policies
IEEE Transactions on Dependable and Secure Computing
Electronic Engineering
Electrical
Computer Science
Formal Specification and Verification
Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis
Applied Mathematics
Logic
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Graph-Based Ontology Reasoning for Formal Verification of BREEAM Rules
Cognitive Systems Research
Cognitive Psychology
Experimental
Artificial Intelligence
Cognitive Neuroscience
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science