清野 貴博 | 北陸先端科学技術大学院大学情報科学研究科

スポンサーリンク

概要

• 同名の論文著者
• 北陸先端科学技術大学院大学情報科学研究科の論文著者

関連著者

• 清野 貴博

  北陸先端科学技術大学院大学情報科学研究科

• 清野 貴博

  北陸先端大

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 緒方 和博

  北陸先端科学技術大学院大学情報科学研究科

• 緒方 和博

  北陸先端科学技術大学院大学

• 野中 誠

  昭和大学藤が丘病院呼吸器外科

• 林 達哉

  旭川医科大学耳鼻咽喉科・頭頸部外科学講座

• 丹 康雄

  北陸先端科学技術大学院大学

• 日比野 靖

  北陸先端科学技術大学院大学情報科学研究科

• 日比野 靖

  北陸先端科学技術大学院大学

• 緒方 和博

  (株) NECソフトウェア北陸

もっと見る 閉じる

著作論文

• 画面と実世界のインタラクションの試み
• 項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
• 代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証
• 代数仕様言語CafeOBJにおける高信頼システムの記述に関する一考察

スポンサーリンク