×

找到8个文档（结果1-8）

最新的 引文 关联
米利奥斯·迪米特里奥斯；吉多·桑吉内蒂；大卫·施诺尔

基于序贯贝叶斯推理的连续时间马尔可夫链概率模型检验。 （英语） Zbl 1514.68141号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 289-305 (2018).
MSC公司：60年第68季度 60J28型 2015年1月62日
PDF格式BibTeX公司 XML格式引用
\textit{D.Milios}等人，Lect。注释计算。科学。11024、289--305（2018；Zbl 1514.68141）
全文： 内政部 arXiv公司 链接
托尼·曼奇尼；费德里科·马里奥；安娜丽莎·马西尼；伊戈尔·梅拉蒂；恩里科·特隆西

系统级形式验证的模拟器语义。 （英语） Zbl 1476.68153号

Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，86-99（2015）。
MSC公司：60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Mancini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，86-99（2015；Zbl 1476.68153）
全文： arXiv公司 链接
亚历山大·戴维；Larsen，Kim G。；Legay、Axel；马吕斯·米库奇奥尼斯；丹尼·鲍尔森；乔纳斯·范弗利特；王，郑

定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： 内政部
安德烈·普拉泽

随机混合程序的随机微分动态逻辑。 （英语） Zbl 1341.68030号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，446-460（2011）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，莱克特。注释计算。科学。6803446--460（2011；Zbl 1341.68030）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件