奇亚拉博迪;迪加诺，皮尔保罗;吉安·路易吉，法拉利;盖列塔，莱特里奥 物联网系统中工作的安全指标。 （英文） Zbl 1440.68017号 Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际献给他的散文。查姆：斯普林格。勒克特。注释计算。科学。12065, 233-255 (2020).MSC公司：68英里11 68平方米25 68问题55 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Lect。注释计算。科学。12065，233--255（2020；Zbl 1440.68017） 全文： 内政部 链接
雨果·A·洛佩兹。;弗莱明·尼尔森;尼尔森、汉内·里斯 在故障软件通信系统中增强可用性。 （英文） 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格式引用 \textit{H.A.López}等人，Lect。注释计算。科学。9688、195--211（2016；Zbl 1347.68060） 全文： 内政部 链接
尼尔森、汉内·里斯;弗莱明·尼尔森;罗伯托·维戈 一种针对不可靠通信的鲁棒性的质量计算。 （英文） Zbl 1337.68041号 J.日志。阿尔盖布。方法计划。 84，第5号，611-639（2015）.MSC公司：68米14 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}等人，J.Log。阿尔盖布。方法计划。84，第5号，611--639（2015；Zbl 1337.68041） 全文： 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯;曾可斌 随机质量微积分的随机模型检验。 （英文） Zbl 1454.68079号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。勒克特。注释计算。科学。8950, 522-537 (2015).MSC公司：68问题85 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人，Lect。注释计算。科学。8950522--537（2015；Zbl 1454.68079） 全文： 内政部
卡罗琳·塔尔科特;法哈德·阿尔巴;曼尼什亚达夫 软代理：探索软约束以建模健壮的自适应分布式网络物理代理系统。 （英文） Zbl 1454.68148号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。勒克特。注释计算。科学。8950, 273-290 (2015).MSC公司：68T42型 68米14 2012年第68季度 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{C.Talcott}等人，Lect。注释计算。科学。8950273--290（2015年；Zbl 1454.68148） 全文： 内政部 链接
尼尔森、汉内·里斯;弗莱明·尼尔森 质量计算中的安全与安全。 （英文） Zbl 1390.68484号 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，285-303（2013）。MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森，莱克特。注释计算。科学。8051，285--303（2013；Zbl 1390.68484） 全文： 内政部