Lightweight Formal Analysis of Web Service Flows
Lightweight Formal Analysis of Web Service Flows
复制标题
Web 服务流的轻量级形式化分析
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Shin NAKAJIMA
中科院分区：
文献类型：
--
作者：
Takeaki Terada;Masakazu Soshi;Atsuko Miyaji.;中島 震;Shin NAKAJIMA;Shin NAKAJIMA;Shin NAKAJIMA
使用谓词抽象来减少模型检查的面向对象程序
DOI：
10.1145/349360.351125
发表时间：
2000
期刊：
Formal Methods in Software Practice
影响因子：
--
作者：
W. Visser;Seungjoon Park;J. Penix
通讯作者：
J. Penix
关于验证 Web 服务流
DOI：
10.1109/saintw.2002.994574
发表时间：
2002
期刊：
International Symposium on Applications and the Internet
影响因子：
--
作者：
S. Nakajima
通讯作者：
S. Nakajima
正式方法的邀请
影响因子：
2.2
作者：
Jonathan P. Bowen;R. Butler;D. Dill;R. Glass;D. Gries;A. Hall;M. Hinchey;C. Holloway;D. Jackson;Cliff B. Jones;M. Lutz;D. Parnas;J. Rushby;Jeannette M. Wing;P. Zave
通讯作者：
P. Zave