×

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

共享内存的接口自动机。 (英语) Zbl 1519.68118号

Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。11200,151-166(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

接口自动机、组件兼容性和错误的一般理论。 (英语) Zbl 1354.68173号

布拉哈姆,埃里卡(编辑)等,《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-33692-3/pbk;978-3-3169-33693-0/电子书)。计算机科学讲座笔记9681160-175(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

非确定性模态接口。 (英语) Zbl 1345.68230号

Italiano、Giuseppe F.(编辑)等,《2015年SOFSEM:计算机科学的理论与实践》。2015年1月24日至29日,第41届计算机科学理论与实践当前趋势国际会议,捷克共和国,Pec pod Snězzo kou。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-46077-1/pbk)。计算机科学课堂讲稿8939,152-163(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

模态接口自动机。 (英语) Zbl 1272.68312号

Baeten,Jos C.M.(编辑)等人,《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议,2012年TCS,荷兰阿姆斯特丹,2012年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33474-0/pbk)。计算机科学课堂讲稿7604,265-279(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段