×

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

安全保护的命令。 (英语) Zbl 1440.68036号

Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。12065, 201-215 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在故障软件通信系统中增强可用性。 (英语) Zbl 1347.68060号

Albert,Elvira(编辑)等人,分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议,2016年FORTE,作为第11届分布式计算技术国际联合会议的一部分,2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆:施普林格(ISBN 978-3-319-39569-2/pbk;978-3-3169-39570-8/电子书)。《计算机科学讲义》9688195-211(2016)。
MSC公司:68甲19 第68季度85
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

面向交互的规范的自由裁量信息流控制。 (英语) Zbl 1321.68349号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲义9200,427-450(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

随机质量演算的随机模型检验。 (英语) Zbl 1454.68079号

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·维尔辛(Martin Wirsing)在2015年从编程和软件工程主席退休之际发表的论文,德国慕尼黑。论文。查姆:施普林格。莱克特。注释计算。科学。8950, 522-537 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

质量计算中的安全与安全。 (英语) Zbl 1390.68484号

刘志明(主编)等,《程序设计理论与形式化方法》。在何纪峰70岁生日之际献给他的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,285-303(2013)。
MSC公司:第68季度85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段