scientific article; zbMATH DE number 1962849
From MaRDI portal
Publication:4418686
zbMATH Open1035.68511MaRDI QIDQ4418686FDOQ4418686
Authors: 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 of this publication is not available (Why is that?)
Recommendations
Cited In (25)
- Formal Modeling and Analysis of Timed Systems
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Real-time verification techniques for untimed systems
- Backward symbolic optimal reachability in weighted timed automata
- Lectures on Concurrency and Petri Nets
- Effective definability of the reachability relation in timed automata
- Reachability solution characterization of parametric real-time systems
- Configurable verification of timed automata with discrete variables
- A state class based controller synthesis approach for time Petri nets
- Updatable timed automata
- Formalized timed automata
- Timed automata relaxation for reachability
- Title not available (Why is that?)
- Model Checking Real-Time Systems
- Title not available (Why is that?)
- Model checking for probabilistic timed automata
- On improving backwards verification of timed automata (extended abstract)
- A menagerie of timed automata
- A quadratic-time DBM-based successor algorithm for checking timed automata
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour
- A unified model for real-time systems: symbolic techniques and implementation
- Symbolic model checking in non-Boolean domains
- An introduction to timed automata
- Verified model checking of timed automata
- Forward analysis of updatable timed automata
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4418686)
