From timed automata to DEVS models
暂无分享,去创建一个
[1] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[2] S. Ghosh,et al. Language barriers in hardware design , 1999 .
[3] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[4] Frits W. Vaandrager,et al. Minimizable Timed Automata , 1996, FTRTFT.
[5] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.
[6] Frits W. Vaandrager,et al. Testing timed automata , 1997, Theor. Comput. Sci..
[7] Sumit Ghosh,et al. A Preemtive Scheduling Mechanism for Accurate Behavioral Simulation of Digital Designs , 1989, IEEE Trans. Computers.
[8] Sumit Ghosh,et al. GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems , 2000, Proceedings 5th International Symposium on Autonomous Decentralized Systems.
[9] Thomas A. Henzinger,et al. HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.
[10] Rajeev Alur,et al. Timing Analysis in COSPAN , 1996, Hybrid Systems.
[11] Jianwen Zhu,et al. Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..
[12] Bernard P. Zeigler,et al. DEVS representation of dynamical systems: event-based intelligent control , 1989, Proc. IEEE.
[13] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[14] Bernard P. Zeigler,et al. Theory of modeling and simulation , 1976 .
[15] Nancy A. Lynch,et al. Liveness in Timed and Untimed Systems , 1998, Inf. Comput..
[16] Tommaso Bolognesi,et al. A timed Full LOTOS with time/action tree semantics , 1994 .
[17] Bernard P. Zeigler,et al. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .
[18] Declan O'SuHivan. Specification and design of TMN systems , 1994 .