共 50 条
- [22] Certification of open-source software: A role for formal methods? [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2010, 25 (04): : 273 - 281
- [24] CFDWAVEMAKER: AN OPEN-SOURCE LIBRARY FOR EFFICIENT GENERATION OF HIGHER ORDER WAVE KINEMATICS [J]. PROCEEDINGS OF ASME 2022 41ST INTERNATIONAL CONFERENCE ON OCEAN, OFFSHORE & ARCTIC ENGINEERING, OMAE2022, VOL 7, 2022,
- [27] A Lightweight and Open-source Framework for the Lifetime Estimation of Multicore Systems [J]. 2014 32ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2014, : 159 - 165
- [28] The Gray Area of Freezing of Gait Annotation: A Guideline and Open-Source Practical Tool [J]. MOVEMENT DISORDERS CLINICAL PRACTICE, 2022, 9 (08): : 1099 - 1104
- [29] FSTire: An Open-Source Magic Formula Parameter Estimation Tool [J]. SAE INTERNATIONAL JOURNAL OF VEHICLE DYNAMICS STABILITY AND NVH, 2021, 5 (01): : 3 - 13