Search
Now showing items 1-2 of 2
The Theory of Timed I/O Automata
(2005-03-02)
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.
The Theory of Timed I/O Automata
(2003-08-27)
Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.