共 50 条
- [42] The embedded systems design challenge FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 1 - 15
- [45] Occam for reliable embedded systems: lightweight runtimes and model checking COMMUNICATING PROCESS ARCHITECTURES 2003, 2003, 61 : 167 - 172
- [47] Very large yet extremely lightweight space imaging systems HIGHLY INNOVATIVE SPACE TELESCOPE CONCEPTS, 2002, 4849 : 17 - 27
- [48] Towards a Trustworthy, Lightweight Cloud Computing Framework for Embedded Systems TRUST AND TRUSTWORTHY COMPUTING, TRUST 2011, 2011, 6740 : 16 - 32
- [49] BLTESTI: Benchmarking Lightweight TinyJAMBU on Embedded Systems for Trusted IoT 2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 284 - 289
- [50] A Lightweight Detection and Recovery Infrastructure of Kernel Objects for Embedded Systems EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 1, MAIN CONFERENCE, 2008, : 136 - 143