×

找到21个文档(结果1–21)

监测一阶间隔逻辑。 (英语) Zbl 1522.68321号

Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13085, 66-83 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用BDD进行一阶定时运行时验证。 (英语) Zbl 1517.68240号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12302, 3-24 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

监测参数时序逻辑。 (英语) Zbl 1428.68184号

McMillan,Kenneth L.(编辑)等人,《验证、模型检查和抽象解释》。2014年1月19日至21日,第15届国际会议,VMCAI 2014,美国加利福尼亚州圣地亚哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8318,357-375(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

软件可靠性方法。Edmund M.Clarke的前言。 (英语) Zbl 0980.68014号

计算机科学课文纽约州纽约市:施普林格。xix,331页(2001年)。
MSC公司:68米15 68吨15 68T27型 68-02
PDF格式BibTeX公司 XML格式引用

“模型测量”的参数时序逻辑。 (英语) Zbl 0939.03021号

Wiedermann,Jiří(编辑)等人,《自动化、语言和编程》。第26届国际学术讨论会,ICALP’99。捷克共和国布拉格,1999年7月11日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1644, 159-168 (1999).
PDF格式BibTeX公司 XML格式引用

向线性时序逻辑添加部分顺序。 (英语) Zbl 1512.68148号

Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1243, 119-134 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于检查\(\omega \)-正则语言的闭包属性的算法方法。 (英语) 兹比尔1514.68109

Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 596-610 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分顺序时间属性的层次结构。 (英语) Zbl 0949.68537号

Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。827, 398-414 (1994).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段