Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: 菊池 慎司 (著者)
  3. 1件

1 0 0 0 OA クラウドインフラ運用管理における信頼性向上のための、形式的検証手法の適用

著者
菊池 慎司
出版者
北陸先端科学技術大学院大学
巻号頁・発行日
2013-12
Supervisor:平石 邦彦