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...
| Other Authors: | |
|---|---|
| Format: | Electronic |
| Language: | English |
| Published: |
San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) :
Morgan & Claypool Publishers,
2006.
|
| Edition: | 1st ed. |
| Series: | Synthesis lectures on computer science (Online) ;
#1. |
| Subjects: | |
| Online Access: | Abstract with links to full text |