The Theory of Timed I/O Automata
This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing o...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | , , , |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Colección: | Synthesis Lectures on Computer Science,
|
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Introduction
- Mathematical Preliminaries
- Describing Timed System Behavior
- Timed Automata
- Operations on Timed Automata
- Timed I/O Automata
- Operations on Timed I/O Automata
- Conclusions and Future Work.