| dc.contributor.author | Kaynar, Dilsun K. | |
| dc.contributor.author | Lynch, Nancy | |
| dc.contributor.author | Segala, Roberto | |
| dc.contributor.author | Vaandrager, Frits | |
| dc.contributor.other | Theory of Computation | |
| dc.date.accessioned | 2005-12-19T22:48:27Z | |
| dc.date.available | 2005-12-19T22:48:27Z | |
| dc.date.issued | 2003-08-27 | |
| dc.identifier.other | MIT-CSAIL-TR-2003-014 | |
| dc.identifier.other | MIT-LCS-TR-917 | |
| dc.identifier.uri | http://hdl.handle.net/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.format.mimetype | application/postscript | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en_US | |
| dc.relation.ispartofseries | Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory | |
| dc.title | The Theory of Timed I/O Automata | |
