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 systems.
| Үндсэн зохиолчид: | , , , |
|---|---|
| Бусад зохиолчид: | |
| Хэл сонгох: | en_US |
| Хэвлэсэн: |
2005
|
| Онлайн хандалт: | http://hdl.handle.net/1721.1/30407 |