Formal digital licence language with OTS/CafeOBJ method
Formal digital licence language with OTS/CafeOBJ method
复制标题
采用 OTS/CafeOBJ 方法的正式数字许可语言
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Jianwen Xiang;Dines Bjorner;Kokichi Futatsugi
登录
查看更多内容
在 CafeOBJ 中使用证明分数验证规格
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
有本 泰仁;二木 厚吉;H. Suyari;Kokichi FUTATSUGI
通讯作者：
Kokichi FUTATSUGI
OTS/CafeOBJ 方法中的证明分数
DOI：
--
发表时间：
2003
期刊：
Lecture Notes in Computer Science,(FMOODS 2003), 2884
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
数字版权的模型和语言
DOI：
10.1109/hicss.2001.927271
发表时间：
2001
期刊：
Proceedings of the 34th Annual Hawaii International Conference on System Sciences
影响因子：
--
作者：
Carl A. Gunter;Stephen Weeks;Andrew K. Wright
通讯作者：
Andrew K. Wright
计算机科学中的道义逻辑：规范系统规范
DOI：
--
发表时间：
1994
期刊：
影响因子：
--
作者：
J. Meyer;R. Wieringa
通讯作者：
R. Wieringa
状态/事件时间道义逻辑
DOI：
10.1007/11786849_9
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Julien Brunel;J. Bodeveix;M. Filali
通讯作者：
M. Filali