Author:
Labinaz Gino,Bayoumi Mohamed M,Rudie Karen
Subject
Control and Systems Engineering,Software
Reference87 articles.
1. Logics and Models of Real Time: A Survey;Alur,1992
2. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems;Alur,1993
3. Hybrid System Modeling and Autonomous Control Systems;Antsaklis,1993
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献