The Theory of Timed I/O Automata
| dc.date.accessioned | 2005-12-19T22:48:27Z | |
| dc.date.accessioned | 2018-11-24T10:23:50Z | |
| dc.date.available | 2005-12-19T22:48:27Z | |
| dc.date.available | 2018-11-24T10:23:50Z | |
| dc.date.issued | 2003-08-27 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/30403 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/30403 | |
| dc.description.abstract | Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems. | |
| dc.format.extent | 130 p. | |
| dc.format.extent | 112222505 bytes | |
| dc.format.extent | 4311471 bytes | |
| dc.language.iso | en_US | |
| dc.title | The Theory of Timed I/O Automata |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| MIT-CSAIL-TR-2003-014.pdf | 4.311Mb | application/pdf | View/ |
| MIT-CSAIL-TR-2003-014.ps | 112.2Mb | application/postscript | View/ |