×

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

最新 引文 关联
阿尔恩哈特曼斯;Joost-Pieter卡托恩;科伦，布拉姆;拼写，Jip

在概率时间自动机中调整概率。 （英语） Zbl 1491.68098号

Abate，Alessandro（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 39-58 (2021).
MSC公司：65年第68季度 60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Hartmanns}等人，莱克特。注释计算。科学。12846，39-58（2021；Zbl 1491.68098）
全文： 内政部 链接
兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。

进程代数和模型检查。 （英语） Zbl 1392.68243号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1149-1195 (2018).
MSC公司：60年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{R.Cleaveland}等人，in：模型检查手册。查姆：斯普林格。1149-1195（2018年；兹比尔1392.68243）
全文： 内政部
帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔

模型检查实时系统。 （英语） Zbl 1392.68235号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235）
全文： 内政部 哈尔
阿夫尼，盖伊;古哈，柴桥;奥尔纳·库普弗曼

定时网络游戏。 （英语） 兹比尔1441.91014

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第37条，第16页（2017年）。
MSC公司：91A43型 65年第68季度 91B32型
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}等人，LIPIcs——莱布尼茨国际程序。通知。83，第37条，第16页（2017年；Zbl 1441.91014）
全文： 内政部
格钦·诺曼;大卫·帕克;邹学毅

部分可观测概率实时系统的验证和控制。 （英语） Zbl 1465.68182号

Sankaranarayanan，Sriram（编辑）等人，定时系统的形式建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 240-255 (2015).
MSC公司：60年第68季度 68平方米 68平方米25 65年第68季度 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{G.Norman}等人，Lect。注释计算。科学。9268、240-255（2015年；Zbl 1465.68182）
全文： 内政部 arXiv公司
约尔·瓦克宁;詹姆斯·沃雷尔

度量时态逻辑的一些最新结果。 （英语） Zbl 1171.68553号

Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，1-13（2008）。
MSC公司：60年第68季度 03B44号 第68季度25
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。注释计算。科学。5215，1-13（2008年；兹比尔1171.68553）
全文： 内政部
摩根·马根;莱姆，迪迪埃;奥利维尔·H·鲁克斯。

具有离散时间语义的秒表Petri网的符号状态空间（理论论文）。 （英语） Zbl 1143.68493号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。《计算机科学讲义》5062307-326（2008）。
MSC公司：第68季度85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Magnin｝等人，Lect。注释计算。科学。5062307--326（2008年；Zbl 1143.68493）
全文： 内政部
因德拉尼尔·萨哈;贾纳丹·米斯拉;苏曼·罗伊

基于超时和日历的实时系统有限状态建模和验证。 （英语） Zbl 1141.68488号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762284-299（2007）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Saha}等人，Lect。注释计算。科学。4762、284--299（2007年；Zbl 1141.68488）
全文： 内政部 arXiv公司
约尔·瓦克宁;詹姆斯·沃雷尔

定时CSP=关闭的定时自动机。 （英语） Zbl 1270.68219号

Nestmann，Uwe（编辑）等人，EXPRESS’02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，142-159（2002）。
MSC公司：第68季度85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}和\textit{J.Worrell}，电子。注释Theor。计算。科学。68，第2号，142--159（2002；Zbl 1270.68219）
全文： 内政部
卢卡·德·阿尔法罗;佐哈尔·曼纳

通过离散推理进行连续时间验证。 （英语） Zbl 1496.68189号

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 292-306 (1995).
MSC公司：60年第68季度 03B44号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.de Alfaro}和\textit{Z.Manna}，Lect。注释计算。科学。936、292--306（1995年；Zbl 1496.68189）
全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;彼得·科普克（Peter W.Kopke）。;Howard Wong-Toi，霍华德

时钟的表现力。 （英语） Zbl 1412.68131号

Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 417-428 (1995).
MSC公司：65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit｛T.A.Henzinger｝等人，Lect。注释计算。科学。944417-428（1995年；Zbl 1412.68131）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件