×

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

模仿者3:超越可判定性的时序参数合成。 (英语) Zbl 1493.68202号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 552-565 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用抽象和参数模型检查验证工业异步领导者选举算法。 (英语) Zbl 1522.68293号

Enea,Constantin(编辑)等人,《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议,VMCAI 2019。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11388, 409-424 (2019).
PDF格式BibTeX公司 XML格式引用

Time4sys2imi:一种工具,用于形式化不确定性下的实时系统模型。 (英语) Zbl 07142672号

Hierons,Robert Mark(编辑)等人,《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日,第16届国际学术讨论会,突尼斯哈马马特。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11884, 113-123 (2019).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

关于参数时间自动机的表示性。 (英语) 兹比尔1433.68227

Fränzle,Martin(编辑)等人,《时间系统的形式化建模和分析》。2016年8月24日至26日,加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9884, 19-34 (2016).
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

面向实时组件的参数定时接口。 (英语) 兹比尔1464.68037

André,ed tienne(编辑)等人,《第一届连续参数合成国际研讨会论文集》,SynCoP’14,法国格勒诺布尔,2014年4月6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)145,49-64(2014)。
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

合成满足安全特性的定时参数。 (英语) Zbl 1348.68117号

Delzanno,Giorgio(编辑)等人,《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24287-8/pbk)。计算机科学课堂讲稿6945,31-44(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数时间自动机的逆方法。 (英语) Zbl 1337.68150号

Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223,29-46(2008)。
MSC公司:65年第68季度 第68季度第60季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段