共 50 条
- [22] Verifying a scheduling protocol of safety-critical systems Journal of Combinatorial Optimization, 2019, 37 : 1191 - 1215
- [26] Challenges of Scaled Agile for Safety-Critical Systems PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2019, 2019, 11915 : 350 - 366
- [27] The Analysis of Methods for Programming Safety-critical Systems INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 39 - 44
- [30] Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 632 - 641