共 50 条
- [41] Systems equals components plus languages: Building a flexible real-time simulation and test environment [J]. MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2003, 2789 : 163 - 173
- [42] Test cases generation for nondeterministic real-time systems [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 131 - 146
- [43] A test generation framework for quiescent real-time systems [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 64 - 78
- [44] Real-time operating systems on the test-bench [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 195 - 201
- [45] Automotive validation functions for on-line test evaluation of hybrid real-time systems [J]. 2006 IEEE AUTOTESTCON, VOLS 1 AND 2, 2006, : 770 - 776
- [46] Real-time on-line test for MDOF systems [J]. EARTHQUAKE ENGINEERING & STRUCTURAL DYNAMICS, 1999, 28 (04): : 393 - 420
- [47] Use of runtime enforcement for the test of real-time systems [J]. 2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 984 - 990
- [48] A test case generation algorithm for real-time systems [J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 268 - 273
- [49] A method of test cases generation for real-time systems [J]. FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 249 - 253
- [50] Performance evaluation of a real-time pseudodynamic test system [J]. EARTHQUAKE ENGINEERING & STRUCTURAL DYNAMICS, 2006, 35 (07): : 789 - 810