共 50 条
- [41] SOFTWARE DESIGN CRITERIA FOR NEW SYSTEMS-DEVELOPMENT OPERATIONS RESEARCH, 1975, 23 : B388 - B388
- [42] DEVELOPMENT OF USABILITY CRITERIA FOR E-LEARNING CONTENT DEVELOPMENT SOFTWARE TURKISH ONLINE JOURNAL OF DISTANCE EDUCATION, 2012, 13 (02): : 336 - 345
- [43] DEVELOPMENT TENDENCIES IN SPECIAL REACTOR SAFETY CRITERIA ATOMWIRTSCHAFT, 1972, 17 (08): : 428 - +
- [45] Structuring Modular Safety Software Certification by Using Common Criteria Concepts 2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 47 - 50
- [46] Formal Verification of Software Safety Criteria Using Event-B PROCEEDINGS OF 2014 10TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS), VOLS I AND II, 2014, : 342 - 347
- [47] Situational Factors in Safety Critical Software Development SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT, EUROSPI 2016, 2016, 633 : 132 - 147
- [48] Domain Arguments in Safety Critical Software Development 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2016, : 435 - 444
- [49] Safety analysis methods - Software development questions Cyberspace Security and Defense: Research Issues, 2005, 196 : 101 - 124
- [50] Development of safety critical software with the B method AUTOMATED PEOPLE MOVERS VI: CREATIVE ACCESS FOR MAJOR ACTIVITY CENTERS, 1998, : 678 - 687