scientific article; zbMATH DE number 1759607
From MaRDI portal
Publication:4536598
zbMath0999.68125MaRDI QIDQ4536598
Marta Kwiatkowska, Roberto Segala, Gethin Norman, Jeremy Sproston
Publication date: 28 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) 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 (9)
Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ A survey of timed automata for the development of real-time systems ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Model checking for probabilistic timed automata ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Statistical probabilistic model checking with a focus on time-bounded properties ⋮ A theory of stochastic systems. I: Stochastic automata ⋮ Calculating Probabilities of Real-Time Test Cases
Uses Software
This page was built for publication:
