Userfriendly GUI in software model checking
Userfriendly GUI in software model checking
复制标题
软件模型检查中用户友好的 GUI
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Masahito Kurihara
中科院分区：
文献类型：
--
作者：
Shoichi Yokoyama;Haruhiko Sato;Masahito Kurihara
Prospec：支持软件属性的获取和正式规范
DOI：
10.1016/s1571-0661(04)81043-0
发表时间：
2003
期刊：
RV@CAV
影响因子：
--
作者：
O. Mondragon;A. Gates;S. Roach
通讯作者：
S. Roach
形式化方法和软件可靠性
DOI：
10.1109/memcod.2004.1459838
发表时间：
2004
期刊：
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.
影响因子：
--
作者：
G. Holzmann
通讯作者：
G. Holzmann