..............page:97-103
..............page:104-111
..............page:112-120
..............page:121-126
..............page:127-132
..............page:133-138
..............page:139-144
..............page:145-152
..............page:153-160
..............page:161-166
..............page:167-173
..............page:174-180
..............page:181-186
..............page:187-192
..............page:193-201
..............page:202-208
..............page:209-215
..............page:216-221
..............page:222-228
..............page:229-235
Test-oriented ontology learning methods
WANG Jun-hua;ZUO Wan-li;PENG Tao;College of Computer Science and Technology;Jilin University;Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education;College of Computer Science and Engineering;Changchun University of Technology;
..............page:236-244
Lazy slicing based method for verifying linear temporal logic property
HUANG Hong-tao;WANG Jing;YE Hai-zhi;HUANG Shao-bin;Engineering Research Center for Education Information;Henan Normal University;Information Center of Xinxiang Oil Transportation Department;Sinopec Pipeline Storage&Transportation Company;College of Computer Science and Technology;Harbin Engineering University;
..............page:245-251
..............page:252-260
..............page:261-266
..............page:267-273
..............page:274-282
..............page:283-290
..............page:291-296
..............page:297-303
..............page:304-308
..............page:309-313
..............page:314-321
..............page:322-327
..............page:328-334
..............page:335-340