Skip to content
<title>Channels - A case study on parametric verification of failure detectors :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A case study on parametric verification of failure detectors
Search for more channels:
Similar Items: A case study on parametric verification of failure detectors
Channel Options
View Record
Explore related channels
Quick Look
Parametric updates in parametric timed automata
Quick Look
Curve Detectors
Quick Look
Relational Parametricity and Control
Quick Look
Multi-Scene Dataset and Object Detector for Outside Blind Individual Identification
Quick Look
High-Low Frequency Detectors
Quick Look
Multiple Instance Verification
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Relational Parametricity for Computational Effects
Quick Look
Semantics and Algorithms for Parametric Monitoring
Quick Look
Parametricity for Nested Types and GADTs
Quick Look
Verification of Flat FIFO Systems
Quick Look
Modularising Verification Of Durable Opacity
Quick Look
Comparator automata in quantitative verification
Quick Look
Quantitative Verification with Neural Networks
Quick Look
RECONSTRUCTION OF MUON BUNDLES IN KM3NET DETECTORS USING MACHINE LEARNING METHODS
Quick Look
Internal Parametricity for Cubical Type Theory
Quick Look
Reachability and liveness in parametric timed automata
Quick Look
Automated Verification of Practical Garbage Collectors
Quick Look
Modeling and Verification of Infinite Systems with Resources
Quick Look
On completeness and parametricity in the realizability semantics of System F
Quick Look
Language Preservation Problems in Parametric Timed Automata
Quick Look
A proof system for graph (non)-isomorphism verification
Quick Look
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
Quick Look
Specification and Verification of Timing Properties in Interoperable Medical Systems
Load more items
View Record
Prev
Explore related channels
Next
