Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [Japanese] / [English]
SC2014-5
ClouTプロジェクト：IoTとクラウドの融合によるスマートシティーへの取り組み
○石川冬樹（NII）・中澤 仁（慶大）
pp. 1 - 2
SC2014-6
異なる形式手法を用いて検査されたサービスの合成結果の検証
○船越和大・細野 繁（NEC）
pp. 49 - 54
SC2014-7
ソフトウェア開発演習のための仮想デスクトップ環境の試作
○井垣 宏（阪大）・柗本真佑・佐伯幸郎（神戸大）・福安直樹（和歌山大）・楠本真二（阪大）
pp. 55 - 60
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．