共 50 条
- [31] Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design MATHEMATICAL SOFTWARE - ICMS 2018, 2018, 10931 : 297 - 304
- [32] On the relation between design contracts and errors: A software development strategy NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 110 - 117
- [39] Mitigation mesures on the Ariane 5 launchers PROCEEDINGS OF THE THIRD EUROPEAN CONFERENCE ON SPACE DEBRIS, VOLS 1 AND 2, 2001, 473 : 693 - 701