赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 学习具有屏障证书的安全神经网络控制器。 (英语) Zbl 1521.93054号 正式Asp。计算。 33,第3期,437-455(2021年).MSC公司:93亿B50 93D20型 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhao}等人,《正式评论》。计算。33,编号3,437--455(2021;Zbl 1521.93054) 全文: DOI程序 arXiv公司
陈小平(编辑);刘志明(编辑);王,季(编辑);吉姆·伍德科克(编辑) 编辑。 (英语) Zbl 1519.68002号 正式Asp。计算。 33,编号3,299-300(2021).MSC公司:68-06 68T05型 68T07型 93C40型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}(编辑)等,《形式语法》。计算。33,编号3,299--300(2021;Zbl 1519.68002) 全文: DOI程序
李宣东(编辑);刘志明(编辑) 编辑。 (英语) Zbl 1372.00115号 正式Asp。计算。 29,第4期,581-582(2017).MSC公司:00时25分 68-06 68新元 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}(编辑)和\textit{Z.Liu}(主编),正式Asp。计算。29,第4号,581--582(2017;Zbl 1372.00115) 全文: DOI程序
赵亮;刘晓建;刘志明;邱宗燕 面向对象优化的图形转换。 (英语) Zbl 1165.68025号 正式Asp。计算。 21,编号1-2,103-131(2009).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhao}等人,正式Asp。计算。21,第1-2103-131号(2009年;兹bl 1165.68025) 全文: DOI程序
刘志明;安德斯·雷文(Anders P.Ravn)。;李晓山 时间演算和时间线性时序逻辑的统一证明方法。 (英语) Zbl 1084.68072号 正式Asp。计算。 16,第2期,140-154(2004).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}等人,《形式语法》。计算。16,第2号,140--154(2004;Zbl 1084.68072) 全文: DOI程序
刘志明;马泰·约瑟夫;托马斯·雅诺夫斯基 实时程序可调度性验证。 (英语) Zbl 0838.68078号 正式Asp。计算。 7,第5号,510-532(1995).MSC公司:60年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}等人,《形式语法》。计算。7,第5号,510--532(1995;Zbl 0838.68078) 全文: DOI程序
刘志明;马泰·约瑟夫 程序的容错转换。 (英语) Zbl 0754.68084号 正式Asp。计算。 4,第5期,442-469(1992).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}和\textit{M.Joseph},正式Asp。计算。4,第5号,442--469(1992;Zbl 0754.68084) 全文: DOI程序