共 50 条
- [3] An International Survey of Quality and Safety Programs in Radiology CANADIAN ASSOCIATION OF RADIOLOGISTS JOURNAL-JOURNAL DE L ASSOCIATION CANADIENNE DES RADIOLOGISTES, 2021, 72 (01): : 135 - 141
- [6] Data-Driven Invariant Learning for Probabilistic Programs COMPUTER AIDED VERIFICATION (CAV 2022), PT I, 2022, 13371 : 33 - 54
- [8] Data-Driven Synthesis of Full Probabilistic Programs COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 279 - 304
- [9] Safety arguments for use with data-driven safety systems DEVELOPMENTS IN RISK-BASED APPROACHES TO SAFETY, 2006, : 263 - 275