共 50 条
- [1] Domain-size constraint on real-time model abstractions [J]. ENABLING TECHNOLOGY FOR SIMULATION SCIENCE V, 2001, 4367 : 253 - 261
- [2] Model checking of real-time reachability properties using abstractions [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 313 - 329
- [3] Automatic abstractions of real-time specifications [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
- [4] Formula based abstractions of transition systems for real-time model checking [J]. FM'99-FORMAL METHODS, 1999, 1708 : 289 - 306
- [5] Logic Based Abstractions of Real-Time Systems [J]. Formal Methods in System Design, 2000, 17 : 201 - 220
- [6] Logic based abstractions of real-time systems [J]. FORMAL METHODS IN SYSTEM DESIGN, 2000, 17 (03) : 201 - 220
- [7] An event model for real-time systems in mobile environments [J]. SECOND IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, 2004, : 29 - 34