Search results for "詳細化検証" | NDL Search

Search results 5

Group by title

Paper図書

山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>

National Diet Library

Paper図書

山根, 智, 金沢大学1999-2001<Y151-H11680360>

National Diet Library

Paper図書

二木, 厚吉, 北陸先端科学技術大学院大学1998-2001<Y151-H10558043>

National Diet Library

Digital文書・図像類

山根, 智, Yamane, Satoshi金沢大学理工研究域電子情報通信学系2002-03平成13(2001)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2001 Fiscal Year Final Research Report1999-2001p.110p.-

Other Libraries in Japan

Subject Heading開放型分散システム段階的詳細化詳細化検証時間オートマトンハイブリッドモデル Assume-Gua...
Note (General)...チャートを形式化して、演繹的な詳細化検証の公理系を開発した。これにより......rantee方式による演繹的な詳細化検証の公理系及びreceptive......ジュールを形式化して、演繹的な詳細化検証の公理系を開発した。これにより、制御法則を含む分散ソフトウェ...

Digital文書・図像類

山根, 智, Yamane, Satoshi金沢大学理工研究域電子情報通信学系2005-03平成16(2004)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2004 Fiscal Year Final Research Report2002-2004p.182p.-

Other Libraries in Japan

Subject Headingハイブリッドモデル組込みシステム高信頼性設計方法演繹的詳細化検証モジュール演繹的検証モデル検査プリエンプティブスケジュ...
Note (General)...る分野である。従来の研究では、詳細化検証、モジュール化、既存手法との連......考慮されていない。本研究では、詳細化検証、既存の開発手法との連携、確率......、詳細化写像を用いた、演繹的な詳細化検証理論を開発して、実験的に有効性を実証した。(2)ハイブリッド...

Reached to the end of result.

RSS