文中对程序切片进行了研究，报告了程序切片的现状，进行了Object-Z类切片方面的调查。为使Object-Z规格易于验证，对Object-Z作切片处理......

A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an exp......