Cargando…
The Theory of Timed IO 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...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Morgan & Claypool Publishers
2010
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1486517 |