×

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

模型检查实时任务可调度性中的聚光灯抽象。 (英语) Zbl 1490.68135号

Laarman,Alfons(编辑)等人,《模型检查软件》。第27届国际研讨会,SPIN 2021,虚拟活动,2021年7月12日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12864, 63-80 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有一个时钟和初始化的时钟相关概率的概率时间自动机。 (英语) 兹比尔1511.68140

Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12136, 150-168 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

违反定时可达性属性的动态原因。 (英语) Zbl 07317094号

Bertrand,Nathalie(编辑)等,时间系统的形式化建模和分析。第18届国际会议,FORMATS 2020,奥地利维也纳,2020年9月1日至3日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12288, 127-143 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

图形游戏和反应合成。 (英语) Zbl 1392.68233号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。921-962 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间逻辑和公平离散系统。 (英语) Zbl 1392.68263号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。27-73 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份