科巴梅洛·马沙巴;李建兴;徐洪磊;江，新华社 基于对数指数平滑聚合的混合制造系统最优控制。 （英语） Zbl 1443.37067号 离散连续。动态。系统。，序列号。S公司 13，第6期，1711-1719（2020）.MSC公司：37号35 93立方 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Mashaba}等人，《离散Contin》。动态。系统。，序列号。S 13，第6号，1711-1719（2020；Zbl 1443.37067） 全文： 内政部
陈春青;董金松;孙骏 用于建模和验证simulink图的正式框架。 （英语） Zbl 1192.68438号 正式Asp。计算。 21，第5期，451-483（2009）.MSC公司：68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人，正式Asp。计算。21，第5号，451--483（2009；Zbl 1192.68438） 全文： 内政部 链接
奥利维尔·布瓦索 证明控制命令算法实现的正确性。 （英语） Zbl 1248.68139号 Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。《计算机科学讲义》5673102-119（2009）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Bouissou}，莱克特。注释计算。科学。5673、102-119（2009年；Zbl 1248.68139） 全文： 内政部
奥利维尔·布瓦索;马蒂厄·马特尔 混合系统的混合指称语义。 （英语） Zbl 1133.68369号 Sophia Drossopoulou（编辑），《编程语言和系统》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第17届欧洲编程研讨会（ESOP 2008）是欧洲软件理论与实践联合会议（ETAPS 2008）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78738-9/pbk）。计算机科学课堂讲稿4960，63-77（2008）。MSC公司：68问题55 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{O.Bouissou}和\textit{M.Martel}，莱克特。注释计算。科学。4960，63-77（2008；Zbl 1133.68369） 全文： 内政部