共 50 条
- [6] Specification and analysis of real-time systems using Real-Time Maude FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
- [8] Specification and refinement of continuous real-time systems TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
- [9] Functional specification of real-time and hybrid systems HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 273 - 285