共 50 条
- [1] A test case generation algorithm for real-time systems [J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 268 - 273
- [2] Test Case Generation for Flexible Real-Time Control Systems [J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2005,
- [3] Open Access Library of Benchmark Test Systems for Offline and Real-Time Simulations [J]. 2023 IEEE 41ST CENTRAL AMERICA AND PANAMA CONVENTION, CONCAPAN XLI, 2023, : 161 - 165
- [5] Test of preemptive real-time systems [J]. 2008 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2008, : 734 - +
- [6] Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, 2015, 8941 : 48 - 63
- [7] Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 54 - 69
- [8] A real-time predictive maintenance system for machine systems [J]. INTERNATIONAL JOURNAL OF MACHINE TOOLS & MANUFACTURE, 2004, 44 (7-8): : 759 - 766
- [9] Experimental test generation for real-time systems [J]. INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 284 - 289
- [10] TRENDS IN REAL-TIME FLIGHT TEST SYSTEMS [J]. AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 782 - 784