The Theory of Timed I/O Automata

The Theory of Timed I/O Automata

Show other versions (1)

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.

Bibliographic Details
Main Authors: Kaynor, Dilsun K., Lynch, Nancy, Segala, Roberto, Vaandrager, Frits
Other Authors: Theory of Computation
Language:en_US
Published: 2005
Online Access:http://hdl.handle.net/1721.1/30407

Internet

http://hdl.handle.net/1721.1/30407

Similar Items