Skip to content
<title>Channels - Sampled Semantics of Timed Automata :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Sampled Semantics of Timed Automata
Search for more channels:
Similar Items: Sampled Semantics of Timed Automata
Channel Options
View Record
Explore related channels
Quick Look
Quantitative Semantics for Jumping Automata
Quick Look
Quantitative Automata under Probabilistic Semantics
Quick Look
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Quick Look
Stochastic Timed Automata
Quick Look
Weak Alternating Timed Automata
Quick Look
Determinisability of register and timed automata
Quick Look
History-deterministic Timed Automata
Quick Look
Parametric updates in parametric timed automata
Quick Look
Reachability and liveness in parametric timed automata
Quick Look
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
Quick Look
Avoiding Shared Clocks in Networks of Timed Automata
Quick Look
Analyzing Timed Systems Using Tree Automata
Quick Look
Language Preservation Problems in Parametric Timed Automata
Quick Look
Model Checking One-clock Priced Timed Automata
Quick Look
Analysis of Timed and Long-Run Objectives for Markov Automata
Quick Look
Timed Automata Robustness Analysis via Model Checking
Quick Look
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Quick Look
Unifying the Linear Time-Branching Time Spectrum of Process Semantics
Quick Look
Model Checking Probabilistic Timed Automata with One or Two Clocks
Quick Look
Verification for Timed Automata extended with Unbounded Discrete Data Structures
Quick Look
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Quick Look
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Quick Look
Off-line test selection with test purposes for non-deterministic timed automata
Quick Look
Failure Trace Semantics for a Process Algebra with Time-outs
Load more items
View Record
Prev
Explore related channels
Next
