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