×

找到13个文档(结果1-13)

关于时间测试仪的优点。 (英语) Zbl 1143.68046号

Grumberg,Orna(编辑)等人,25年的模型检查。历史、成就、观点。柏林:施普林格出版社(ISBN 978-3-540-69849-4/pbk)。计算机科学讲义5000,172-195(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反应式程序的验证和合成。 (英语) Zbl 1137.68041号

Broy,Manfred(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。北约科学安全系列。D: 信息与通信安全9,298-340(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

从有界响应特性合成控制器。 (英语) 兹比尔1135.68477

Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590,95-107(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从MITL到时间自动机。 (英语) Zbl 1141.68436号

Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202,274-289(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

细化混合自动机的不可判定边界。 (英语) Zbl 1172.68521号

Ramanujam,R.(ed.)等人,FSTTCS 2005:软件技术和理论计算机科学基础。第25届国际会议,印度海得拉巴,2005年12月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30495-9/pbk)。《计算机科学讲义》3821261-272(2005)。
MSC公司:65年第68季度 03天35分 2005年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

缩小公平模拟和跟踪包含之间的差距。 (英语) Zbl 1278.68178号

Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 381-393 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

除了定期模型检查。 (英语) Zbl 1052.68084号

Hariharan,Ramesh(编辑)等人,FST TCS 2001:软件技术和理论计算机科学基础。第21届会议,印度班加罗尔,2001年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43002-4)。莱克特。注释计算。科学。2245, 156-170 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过增强抽象验证活性。 (英语) Zbl 0944.68128号

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 141-156 (1999).
PDF格式BibTeX公司 XML格式引用

时间属性类的特征。 (英语) Zbl 1425.68252号

Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 474-486 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件