共 50 条
- [2] Decision problems for the verification of real-time software [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 200 - 211
- [3] The software reliability analysis based on Weibull distribution [J]. INFORMATION SYSTEMS AND COMPUTING TECHNOLOGY, 2013, : 59 - 64
- [7] Scheduling and Analysis of Real-Time Software Families [J]. 2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 680 - 689
- [9] Reliability Analysis of Real-Time Multitasking Software Based on Neural Network [J]. ADVANCED RESEARCH ON COMPUTER EDUCATION, SIMULATION AND MODELING, PT I, 2011, 175 : 347 - +
- [10] Measurement-based real-time analysis of robotic software architectures [J]. 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), 2016, : 3306 - 3311