Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools

Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise. Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. STTT, 1(1-2):64-85, 1997. [doi]

Abstract

Abstract is missing.