共 50 条
- [32] A Hierarchy Framework on Compositional Verification for PLC Software 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 204 - 207
- [35] An Introductory Software Engineering Course for Software Engineering Program 2011 24TH IEEE-CS CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEET), 2011, : 411 - 415
- [39] Methods and Software for the Program Obfuscation SIBCON-2009: INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS, 2009, : 113 - 115
- [40] Partitioning program into hardware and software APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 309 - 316