概率实时时态认知逻辑模型检测中抽象技术研究.pdfVIP

7 Vol .41 No. 7 2013 7 ACTA ELECTRONICA SINICA Jul. 2013 刘志锋, 孙 博, 周从华 ( , 212013) : PTACTLK , . . , : PTACTLK PTACTL, , ; PTACTLK K, . , , . . : ; ; PTACTLK; ; : TP301 : A : 0372-2112 ( 2013) 07- 1343-09 URL: http: / / www. ejourn l. org. cn DOI : 10. 3969/ j