带有时钟变量的线性时序逻辑与实时系统验证

---

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

Data(s)	2002
Identificador	http://ir.iscas.ac.cn/handle/311060/5068 http://www.irgrid.ac.cn/handle/1471x/67014
Fonte	李广元; 唐稚松.带有时钟变量的线性时序逻辑与实时系统验证,软件学报,2002,13(1):
Palavras-Chave	#实时系统 #时间自动机 #线性时序逻辑 #规范语言 #系统描述语言 #性质验证
Tipo	期刊论文