Compositional specification of timed systems
From MaRDI portal
Publication:4593944
DOI10.1007/3-540-60922-9_29zbMath1379.68240OpenAlexW36865365MaRDI QIDQ4593944
Publication date: 16 November 2017
Published in: STACS 96 (Search for Journal in Brave)
Full work available at URL: http://infoscience.epfl.ch/record/185054
Related Items (18)
Scheduling with timed automata ⋮ Conformance testing for real-time systems ⋮ Weak Time Petri Nets Strike Back! ⋮ Coinduction in Concurrent Timed Systems ⋮ Model checking of time Petri nets using the state class timed automaton ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ Model-checking timed automata with deadlines with Uppaal ⋮ Fault-tolerant continuous flow systems modelling ⋮ On the composition of time Petri nets ⋮ A concurrency-preserving translation from time Petri nets to networks of timed automata ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ TCTL-preserving translations from timed-arc Petri nets to networks of timed automata ⋮ The Unmet Challenge of Timed Systems ⋮ Feedback in Synchronous Relational Interfaces ⋮ Verification of Timed-Arc Petri Nets ⋮ An Introduction to Timed Automata ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata ⋮ An algebraic framework for urgency
This page was built for publication: Compositional specification of timed systems