Abdelaziz Fellah
Timed event transition systems, timed event alternating automata, timed metric temporal logic
Real-time systems often require qualitative and quantitative aspects of time. Consequently such systems must meet high dependability requirements in performing complex interactions in a continuous environment. In this paper, we consider array-connected and tree-connected of interacting real-time machines. We also study the expressiveness of one class of timed event transition systems, called time event alternating automata which are conceptually of particular significance to software model checking, real-time and embedded systems.
Important Links:
Go Back
