Applying Model-Checking Techniques to Verification of Software Design
Applying Model-Checking Techniques to Verification of Software Design
复制标题
将模型检查技术应用于软件设计验证
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Shin NAKAJIMA
中科院分区：
文献类型：
--
作者：
Takeaki Terada;Masakazu Soshi;Atsuko Miyaji.;中島 震;Shin NAKAJIMA;Shin NAKAJIMA
分支与线性时间：语义视角
DOI：
10.1007/978-3-540-75596-8_4
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Sumit Nain;Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi