scientific article; zbMATH DE number 1337733
From MaRDI portal
Publication:4264103
zbMath0930.68077MaRDI QIDQ4264103
Volker Diekert, Paul Gastin, Béatrice Bérard, Antoine Petit
Publication date: 16 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Timed recursive state machines: expressiveness and complexity, Configurable verification of timed automata with discrete variables, Timed hyperproperties, Concurrency in timed automata, Updatable timed automata, Exact Incremental Analysis of Timed Automata with an SMT-Solver, Conformance testing for real-time systems, Model Checking Real-Time Systems, Folk theorems on the determinization and minimization of timed automata, Timed substitutions for regular signal-event languages, On the optimal reachability problem of weighted timed automata, SetExp: a method of transformation of timed automata into finite state automata, Bounded Determinization of Timed Automata with Silent Transitions, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, A survey of timed automata for the development of real-time systems, Equivalence checking and intersection of deterministic timed finite state machines, Optimal controller synthesis for timed systems, Bounded determinization of timed automata with silent transitions, Unnamed Item, Interrupt timed automata: verification and expressiveness, Reachability relations of timed pushdown automata, Timed Automata with Integer Resets: Language Inclusion and Expressiveness, Parameter synthesis for hierarchical concurrent real-time systems, Efficient CTMC Model Checking of Linear Real-Time Objectives, When are timed automata weakly timed bisimilar to time Petri nets?, On the initialization of clocks in timed formalisms, Model checking for probabilistic timed automata, Compositional schedulability analysis of real-time actor-based systems, A menagerie of timed automata, Reachability in Timed Counter Systems, Formal language properties of hybrid systems with strong resets, Distributed Event Clock Automata, Interrupt Timed Automata, Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions, An Introduction to Timed Automata, \(\varepsilon\)-transitions in concurrent timed automata, Removing All Silent Transitions from Timed Automata, Timed automata and additive clock constraints
