容错资源推理

吉安·恩茨克,佩德罗·达罗查·平托,菲利普·加德纳.容错资源推理.新余峰,Sungwoo公园,编辑,编程语言与系统-第13届亚洲研讨会,APLAS 2015,韩国浦项,2015年11月30日至12月2日,会议记录.第9458卷,共页计算机科学讲义,页169-188,施普林格,2015 [美国国防部]

摘要

缺少摘要。