三机冗余容错系统的描述和验证

---

Autoria(s): 郭亮; 唐稚松

Data(s)	2003
Identificador	http://ir.iscas.ac.cn/handle/311060/5050 http://www.irgrid.ac.cn/handle/1471x/67002
Fonte	郭亮; 唐稚松.三机冗余容错系统的描述和验证,软件学报,2003,14(1):
Palavras-Chave	#时序逻辑语言XYZ/E #容错系统 #三机冗余 #描述 #验证
Tipo	期刊论文