高信頼性組み込みソフトウェア開発-最新技術動向と取り組み:3.モデル検査技術によるUML設計検証

情報処理学会 Web Site 被引用文献1件 参考文献5件

書誌事項

タイトル別名
  • モデル検査技術によるUML設計検証
  • モデル ケンサ ギジュツ ニ ヨル UML セッケイ ケンショウ
  • Highly Reliable Embedded Software Development- Cutting Edge and Case Studies - : UML Design Verification based on Model Checking Techniques

この論文をさがす

収録刊行物

  • 情報処理

    情報処理 47 (5), 498-505, 2006-05-15

    東京 : 情報処理学会 ; 1960-

被引用文献 (1)*注記

もっと見る

参考文献 (5)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ