scientific article; zbMATH DE number 1759608
From MaRDI portal
Publication:4536599
zbMath0999.68112MaRDI QIDQ4536599
Franck Cassez, Kim Guldstrand Larsen
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 (26)
Timed recursive state machines: expressiveness and complexity ⋮ A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling ⋮ \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability ⋮ Model Checking Real-Time Systems ⋮ Verification of Hybrid Systems ⋮ Formal verification of real-time systems with preemptive scheduling ⋮ Waiting nets ⋮ A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems ⋮ Polynomial interrupt timed automata: verification and expressiveness ⋮ Reachability problems and abstract state spaces for time Petri nets with stopwatches ⋮ Nested Timed Automata with Frozen Clocks ⋮ A survey of timed automata for the development of real-time systems ⋮ Unnamed Item ⋮ Waiting Nets: State Classes and Taxonomy ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ Interrupt timed automata: verification and expressiveness ⋮ Verification of duration systems using an approximation approach ⋮ On Reachability for Hybrid Automata over Bounded Time ⋮ Monotonic hybrid systems ⋮ A menagerie of timed automata ⋮ Unnamed Item ⋮ Interrupt Timed Automata ⋮ Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques ⋮ Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*
Uses Software
This page was built for publication:
