scientific article; zbMATH DE number 1962849

zbMath1035.68511MaRDI QIDQ4418686

Patricia Bouyer

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2607/26070620.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items (11)

Configurable verification of timed automata with discrete variables ⋮ Updatable timed automata ⋮ Model Checking Real-Time Systems ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ Model checking for probabilistic timed automata ⋮ Backward symbolic optimal reachability in weighted timed automata ⋮ A menagerie of timed automata ⋮ Reachability solution characterization of parametric real-time systems ⋮ A quadratic-time DBM-based successor algorithm for checking timed automata ⋮ Effective definability of the reachability relation in timed automata ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?

Uses Software

• HyTech

This page was built for publication: