高信頼細粒度部品再利用による形式手法におけるソフトウェア合成
高信頼細粒度部品再利用による形式手法におけるソフトウェア合成
复制标题
使用形式化方法进行软件合成，使用高度可靠的细粒度组件重用
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
西野哲朗
中科院分区：
文献类型：
--
作者：
中村丈洋;織田健;西野哲朗
