Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Béeatrice Béerard
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification of Protocol Conformance and Agent Interoperability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Invariant Generation for the Verification of Real-Time Systems
Verification of Protocol Conformance Test Cases Using Reachability Analysis
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
Modeling and Verification of a Time-Triggered Networking Protocol
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time IPMI Protocol Analyzer
IEEE Transactions on Nuclear Science
Electronic Engineering
Nuclear
Nuclear Energy
High Energy Physics
Engineering
Electrical
Real-Time IPMI Protocol Analyzer
A Real-Time Parametric General-Purpose Mammalian Vocal Synthesiser
