A'関係におけるコピー形成操作
A'関係におけるコピー形成操作
复制标题
A关系中的复制形成操作
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
林 愼将
中科院分区：
文献类型：
--
作者：
布村猛 ; 阿部新 ; 川口裕司;篠原 学;篠原 学;篠原学;篠原 学;篠原 学;篠原学;平光文乃;平光文乃;青山聡;平光文乃;平光 文乃;青山聡;石崎達也;石崎達也;劉夢如;劉夢如;林 愼将
使用 Web 服务使传统家用电器适应家庭网络系统
DOI：
--
发表时间：
2006
期刊：
In IEEE International Conference on Web Services (ICWS2006)
影响因子：
--
作者：
Masahide Nakamura;Akihiro Tanaka;Hiroshi Igaki;Haruaki Tamada;and Ken-ichi Matsumoto
通讯作者：
and Ken-ichi Matsumoto
基于 JML 的软件验证案例研究
DOI：
10.1109/ase.2004.10000
发表时间：
2004
期刊：
Proceedings. 19th International Conference on Automated Software Engineering, 2004.
影响因子：
--
作者：
L. D. Bousquet;Y. Ledru;Olivier Maury;Catherine Oriat;Jean
通讯作者：
Jean