世界图书出版上海有限公司图书目录 The Theory of Timed I/O Automata


	1. Introduction 2. Mathematical Preliminaries 3. Describing Timed System Behavior 4. Timed Automata 5. Operations on Timed Automata 6. Timed I/O Automata 7. Operations on Timed I/O Automata 8. Conclusions and Future Work
	返回首页