scientific article
From MaRDI portal
Publication:2769587
zbMath0978.68094MaRDI QIDQ2769587
Mariëlle I. A. Stoelinga, Judi Romijn, Thomas Hune, Frits W. Vaandrager
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310189
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (17)
Language Emptiness of Continuous-Time Parametric Timed Automata ⋮ An automated system repair framework with signal temporal logic ⋮ Shrinking timed automata ⋮ Parametric probabilistic transition systems for system design and analysis ⋮ Shrinking of time Petri nets ⋮ A survey of timed automata for the development of real-time systems ⋮ Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ On parametric timed automata and one-counter machines ⋮ Automated verification and refinement for physical-layer protocols ⋮ A menagerie of timed automata ⋮ Reachability solution characterization of parametric real-time systems ⋮ Unnamed Item ⋮ Timed automata relaxation for reachability ⋮ An Inverse Method for Parametric Timed Automata ⋮ Robust safety of timed automata ⋮ Linear parametric model checking of timed automata
Uses Software
This page was built for publication:
