A Logic for the Specification of Continuous Systems
暂无分享,去创建一个
[1] Graeme Smith,et al. The object-Z specification language: version 1 , 1991 .
[2] Thomas A. Henzinger,et al. Towards Refining Temporal Specifications into Hybrid Systems , 1992, Hybrid Systems.
[3] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[4] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[5] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[6] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[7] Zohar Manna,et al. From Timed to Hybrid Systems , 1991, REX Workshop.
[8] Brendan P. Mahony. The Specification and Refinement of Timed Processes , 1992 .