拉坦·拉尔;帕维特拉·普拉巴卡 概率混合系统可达性的有界验证。 （英语） 兹比尔1514.68139 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11024240-256（2018年）。MSC公司：60年第68季度 90立方厘米 93个B03 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lal}和\textit{P.Prabhakar}，莱克特。注释计算。科学。11024，240-256（2018；Zbl 1514.68139） 全文： 内政部
辛齐亚·伯纳德斯基;安德里亚·多梅尼奇 通过原型验证系统的交互式定理证明，验证非线性控制的安全特性。 （英语） Zbl 1356.68177号 信息处理。莱特。 116，第6号，409-415（2016）.MSC公司：68吨15 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardeschi}和\textit{A.Domenici}，Inf.过程。莱特。116，第6号，409--415（2016；Zbl 1356.68177） 全文： 内政部 链接
詹乃军;王淑玲;赵恒军 混合系统的形式化建模、分析和验证。 （英语） Zbl 1444.68105号 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。勒克特。注释计算。科学。8050, 207-281 (2013).MSC公司：60年第68季度 03B70号 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}等人，Lect。注释计算。科学。8050207--281（2013；Zbl 1444.68105） 全文： 内政部