Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Kaynar, Dilsun K. (Autor), Lynch, Nancy (Autor), Segala, Roberto (Autor), Vaandrager, Frits (Autor)
Autor Corporativo: SpringerLink (Online service)
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.