×

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

最新的 引文 关联
沃伊切赫·彭泽克；阿加塔·波罗拉

时间Petri网和时间自动机的验证进展。时间逻辑方法。 （英语） Zbl 1110.68087号

计算智能研究20.柏林：施普林格出版社（ISBN 3-540-32869-6/hbk）。xxxii，257页。(2006).
审核人：Ryszard Janicki（汉密尔顿）
MSC公司：68问题85 65年第68季度 60年第68季度 03B44号 68号30 68-02
PDF格式BibTeX公司 XML格式引用
\textit{W.Penczek}和\textit{A.Półrola}，时间Petri网和时间自动机验证的进展。一种时间逻辑方法。柏林：施普林格出版社（2006；Zbl 1110.68087）
全文： 内政部
霍华德·鲍曼；鲁道夫·戈麦斯；苏，李

时间自动机中Zeno时间锁的语法检测工具。 （英语） Zbl 1272.68229号

Ulidowski，Irek（编辑），《2004年ARTS会议录》，第六届AMAST实时系统研讨会（ARTS 2004），英国斯特林，2004年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》139，第1期，25-47页（2005年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Bowman}等人，《电子》。注释Theor。计算。科学。139，编号1，25-47（2005；Zbl 1272.68229）
全文： 链接
王法恩

具有类BDD数据结构的线性混合系统的符号参数安全性分析。 （英语） 兹比尔1103.68642

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，295-307（2004）。
MSC公司：60年第68季度 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Wang}，莱克特。注释计算。科学。3114295-307（2004；Zbl 1103.68642）
全文： 内政部
王法恩

使用类BDD数据结构对时间自动机进行有效验证。 （英语） Zbl 1022.68586号

Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2575, 189-205 (2003).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Wang}，莱克特。注释计算。科学。2575189-205（2003；Zbl 1022.68586）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件