帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 (英语) Zbl 1392.68235号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1001-1046 (2018).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,in:模型检查手册。查姆:施普林格。1001-1046(2018年;兹比尔1392.68235) 全文: 内政部 哈尔
乌里·法伦贝格;Larsen,Kim G。;Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8050,67--108(2013;Zbl 1445.68132) 全文: 内政部 哈尔
阿诺德·菲埃茨克;克里斯托夫·韦登巴赫 叠加作为时间自动机的决策过程。 (英语) Zbl 1262.68159号 数学。计算。科学。 6,第4期,409-425(2012).MSC公司:68吨15 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.Fietzke}和\textit{C.Weidenbach},数学。计算。科学。6,编号4409-425(2012年;兹bl 1262.68159) 全文: 内政部
蒂里·米格(Yann Thierry-Mieg);丹尼斯·波特雷诺;亚历山大·哈麦斯;Fabrice Kordon公司 层次集决策图和正则模型。 (英语) Zbl 1234.68267号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学5505讲义,1-15(2009)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Thierry-Mieg}等人,Lect。注释计算。科学。5505,1-15(2009年;Zbl 1234.68267) 全文: 内政部
阿迪森·路易斯·博尼法西奥;阿纳多·维埃拉·穆拉;阿登尼索·达席尔瓦·西芒;何塞·卡洛斯·马尔多纳多 通过模型检查推导测试序列。 (英语) Zbl 1279.68198号 Moreira,Anamaria Martins(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2006),Natal,Rio Grande de Norte,巴西,2006年9月17日至23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记195,21-40(2008)。MSC公司:第68季度第60季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Bonifácio}等人,《电子》。注释Theor。计算。科学。195、21-40(2008年;Zbl 1279.68198) 全文: 内政部
颜荣杰;李广元;张文良;彭云泉 时间自动机符号验证的改进。 (英语) Zbl 1215.68136号 Derrick,John(编辑)等人,《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73195-5/pbk)。计算机科学课堂讲稿4574196-210(2007)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Yan}等人,Lect。注释计算。科学。4574196-210(2007年;Zbl 1215.68136) 全文: 内政部
D.卢吉兹。;P.尼伯特。;塞诺,S。 时间自动机时钟爆炸问题的一种偏序语义方法。 (英语) Zbl 1079.68052号 西奥。计算。科学。 345,第1期,27-59(2005).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lugiez}等人,Theor。计算。科学。345,编号1,27-59(2005年;兹bl 1079.68052) 全文: 内政部
巴哈雷赫巴德班;范德波尔(Jaco van de Pol) BDD中的零、继承和平等。 (英语) Zbl 1064.03009号 Ann.纯粹应用。逻辑 133,编号1-3,101-123(2005).MSC公司:03B20型 03年2月25日 03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol},Ann.Pure Appl。逻辑133,编号1--3,101-123(2005;Zbl 1064.03009) 全文: 内政部 链接
卢卡·埃特罗;弗朗索瓦·拉鲁西尼 你的模型检验员准时吗?时间模态逻辑模型检验的复杂性。 (英语) Zbl 1008.68030号 J.日志。代数。程序。 52-53, 7-51 (2002).MSC公司:68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{F.Laroussinie},J.Log。代数。程序。52-53、7--51(2002年;Zbl 1008.68030) 全文: 内政部
杰斯珀·默勒;雅各布·利希滕贝格;安徒生、亨利克·雷夫;亨利克·胡尔加德 差异决策图。 (英语) Zbl 0944.68040号 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 111-125 (1999).MSC公司:68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.莫勒}等人,莱克特。注释计算。科学。1683111--125(1999年;Zbl 0944.68040)