10.3969/j.issn.1000-386X.2006.05.012
基于FSP的安全性与活动性检测技术
安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义.本文给出基于FSP进行安全性与活动性检测的方法并给出具体的实例分析.
FSP、LTS、并发系统、分布式系统、安全性、活动性
23
TP3(计算技术、计算机技术)
福建省自然科学基金A0310007
2006-06-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
26-27,139