基于线性时序逻辑的实时系统模型检查

---

Autoria(s): 李广元; 唐稚松

Data(s)	2002
Identificador	http://ir.iscas.ac.cn/handle/311060/5066 http://www.irgrid.ac.cn/handle/1471x/67012
Fonte	李广元; 唐稚松.基于线性时序逻辑的实时系统模型检查,软件学报,2002,13(2):
Palavras-Chave	#实时系统 #时间自动机 #线性时序逻辑 #模型检查 #性质验证
Tipo	期刊论文