共 50 条
- [1] Evolutionary Sampling and Software Quality Modeling of High-Assurance Systems [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (05): : 1097 - 1107
- [2] High-assurance distributed, adaptive software for dynamic systems [J]. HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 385 - 386
- [3] Estimating software rejuvenation schedules in high-assurance systems [J]. COMPUTER JOURNAL, 2001, 44 (06): : 473 - 485
- [7] Reasoning About Concurrency in High-Assurance, High-Performance Software Systems [J]. AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 1 - 7
- [10] Flow-service-quality (FSQ) engineering: Foundations for high-assurance network systems development [J]. EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 265 - 266