橋本 祐介 | 日本電気(株)ソフトウェアエンジニアリング本部

スポンサーリンク

概要

• 橋本 祐介の詳細を見る
• 同名の論文著者
• 日本電気(株)ソフトウェアエンジニアリング本部の論文著者

関連著者

• 橋本 祐介

  日本電気(株)ソフトウェアエンジニアリング本部

• 宮崎 義昭

  日本電気(株)ソフトウェアエンジニアリング本部

• 岩崎 新一

  日本電気(株)ソフトウェアエンジニアリング本部

• 橋本 祐介

  総合研究大学院大学|日本電気株式会社サービスプラットフォーム研究所

著作論文

• 4. C言語へのフォーマルメソッドの適用(Part II:産業界への応用,フォーマルメソッドの新潮流)
• 形式手法によるC言語検証ツール「VARVEL」 (組込みソフトウエア・ソリユーシヨン特集) -- (組込みソフトウェア開発環境ソリューション)
• 高信頼ソフトウェア開発技法の実践的試み(システム設計のための形式手法の基礎と応用)

スポンサーリンク