松本充広,二木厚吉: "射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発"ソフトウェア工学の基礎VII(FOSE'2000論文誌). 229-236 (2000)
松本充広,二木厚吉: "射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発"ソフトウェア工学の基礎VII(FOSE'2000論文誌). 229-236 (2000)
复制标题
Mitsuhiro Matsumoto、Atsukichi Niki：“使用预计行为规范开发高度可靠的组件软件”软件工程基础 VII (FOSE2000 Journal)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
