Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G.E. Herman
Protocol Verification Using Database Technology
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Related publications
CAN Database Verification Framework Using UPPAAL
International Journal of Computer Theory and Engineering
Event Processing Using Database Technology
Verification of Protocol Conformance Test Cases Using Reachability Analysis
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Using Verification Technology to Specify and Detect Malware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Protocol Verification in Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of a Group Membership Protocol Using Model Checking
Cloud Database Security in E-Voting System Using Blockchain Technology
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation
Design and Verification of AMBA APB Protocol
International Journal of Computer Applications
J-Store, JST Science and Technology Research Result Database for Enterprise Development. Service of Technology Seed Database and Technology Transfer Database.
Journal of Information Processing and Management
