共 15 条
- [1] Test Software For National Satellite On-Board Computer [J]. 2020 TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2020, : 116 - 119
- [2] Architecture-Based Design: A Satellite On-Board Software Case Study [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2016), 2017, 10231 : 260 - 279
- [4] Model Based Testing of Satellite On-Board Software - an Industrial Use Case [J]. 2016 IEEE AEROSPACE CONFERENCE, 2016,
- [5] Hardware/Software FPGA-based Network Emulator for High-speed On-board Communications [J]. 11TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - ARCHITECTURES, METHODS AND TOOLS : DSD 2008, PROCEEDINGS, 2008, : 353 - +
- [6] Verification of On-board Software of ISRO Launch Vehicles Using Polyspace - A Case Study [J]. 2018 7TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO) (ICRITO), 2018, : 182 - 187
- [9] Schedulability Analysis of On-board Satellite Software Based on Model-Driven and Compositionality Techniques [J]. 2013 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2013, : 178 - 187