共 50 条
- [31] Fail-safe ANSI-C compiler: An approach to making C programs secure - Progress report [J]. SOFTWARE SECURITY - THEORIES AND SYSTEMS, 2003, 2609 : 133 - 153
- [32] From UML to ANSI-C - An Eclipse-based code generation framework [J]. ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, 2008, : 12 - +
- [33] Context-Bounded Model Checking of LTL Properties for ANSI-C Software [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 302 - +
- [34] Scheduling and partitioning ANSI-C programs onto multi-FPGA CCM architectures [J]. IEEE SYMPOSIUM ON FPGAS FOR CUSTOM COMPUTING MACHINES, PROCEEDINGS, 1996, : 178 - 187
- [35] ANSI-C in safety critical applications lessons-learned from software evaluation [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 209 - 217