Amanote Research
Register
Sign In
Formal Verification of Netlog Protocols
doi 10.1109/tase.2012.19
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2012
Authors
Meixian Chen
Jean-Francois Monin
Publisher
IEEE
Related search
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Integrating Formal Verification With Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Formal Verification of Hybrid Systems
Formal Verification of Evolutionary Changes
Protocols for Watermark Verification
IEEE Multimedia
Media Technology
Signal Processing
Hardware
Computer Science Applications
Architecture
Software
