共 50 条
- [1] Automatic Annotating and Checking of Dynamic Ownership PROGRAMMING LANGUAGES (SBLP 2016), 2016, 9889 : 78 - 94
- [2] A SYSTEM FOR AUTOMATIC GENERATION OF EXERCISES INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2014, : 1855 - 1861
- [4] Surface illumination controlling system for surface checking of automatic vehicle by using PSO algorithm 2014 PROCEEDINGS OF THE SICE ANNUAL CONFERENCE (SICE), 2014, : 1555 - +
- [5] Automatic Recognition of Misconceptions in Visual Algorithm Simulation Exercises FRONTIERS IN EDUCATION CONFERENCE (FIE), 2015, 2015, : 143 - 147
- [6] AUTOMATIC SYSTEM FOR CHECKING THE ACCURACY OF ANGLE TRANSDUCERS MEASUREMENT TECHNIQUES USSR, 1985, 28 (11): : 962 - 964
- [7] AUTOMATIC CHECKING SYSTEM FOR FERROPROBE TUBE TESTERS SOVIET JOURNAL OF NONDESTRUCTIVE TESTING-USSR, 1978, 14 (09): : 842 - 844
- [8] A FULLY-AUTOMATIC HOMEWORK CHECKING SYSTEM IRAL-INTERNATIONAL REVIEW OF APPLIED LINGUISTICS IN LANGUAGE TEACHING, 1995, 33 (01): : 35 - 46
- [9] AUTOMATIC CHECKING AND CORRECTION OF TEXTS - THE SYSTEM VORTEX TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1986, 5 (04): : 285 - 305
- [10] Automatic Refinement Checking for Formal System Models PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,