松本 充広 | (株)PFU研究所

スポンサーリンク

概要

• 松本 充広の詳細を見る
• 同名の論文著者
• (株)PFU研究所の論文著者

関連著者

• 二木 厚吉

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

• 松本 充広

  北陸先端科学技術大学院大学情報科学研究科:(株)pfu第一事業部

• 松本 充広

  (株)PFU研究所

• 飯田 周作

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

• 海野 浩

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

著作論文

• 振舞仕様に基づくシステムの記述方法
• コンポーネントソフトウェア開発用軽量フォーマルメソッド
• 振舞意味論を用いた詳細化検証 : オブジェクト合成と非観測射影演算を用いた新しいアプローチ
• 振舞意味論に基づく仕様の検証法
• 並列分散システムへの振舞意味論の適用について

スポンサーリンク