共 50 条
- [31] Minisymposium on Computational Data Analysis and Numerical Methods PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2016 (ICCMSE-2016), 2016, 1790
- [32] Example Applications of Formal Methods to Aerospace and Autonomous Systems 2023 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY, ICAA, 2023, : 67 - 75
- [38] AEROSPACE ENGINEERING VS AEROSPACE SCIENTIST - IS THERE A DIFFERENCE ENGINEERING EDUCATION, 1972, 63 (01): : 55 - &