共 50 条
- [1] Scalable Secure Computation from ANSI-C [J]. 2016 8TH IEEE INTERNATIONAL WORKSHOP ON INFORMATION FORENSICS AND SECURITY (WIFS 2016), 2016,
- [2] SMT-Based Bounded Model Checking for Embedded ANSI-C Software [J]. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 137 - 148
- [5] Context-Bounded Model Checking of LTL Properties for ANSI-C Software [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 302 - +
- [6] A simple way to build an ANSI-C like compiler from scratch and embed it on the instrument's software [J]. SOFTWARE AND CYBERINFRASTRUCTURE FOR ASTRONOMY, 2010, 7740
- [8] Lessons-learned from the army's stormwater and erosion control programs [J]. INTERNATIONAL EROSION CONTROL ASSOCIATION - PROCEEDINGS OF CONFERENCE 30, 1999, 30 : 435 - +
- [9] 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 - +
- [10] An Evaluation of Sensing Technologies in a Wind Turbine Blade: Some Issues, Challenges and Lessons-Learned [J]. INDUSTRIAL AND COMMERCIAL APPLICATIONS OF SMART STRUCTURES TECHNOLOGIES 2011, 2011, 7979