Jump to main content

yr 〜
yr

Search results 3

形式仕様と設計の整合性検証に関する研究

形式仕様と設計の整合性検証に関する研究
Digital博士論文障害者向け資料あり
Vu, Dieu Huong2015-03
National Diet Library
  • Subject Headingformal specification design formal verification simulation relation OSEK/VDX OS

Model Checking Conformance of Design Model to Its Formal Specification

Model Checking Conformance of Design Model to Its Formal Specification
Digital文書・図像類
Vu, Dieu-Huong, Chiba, Yuki, Yatake, Kenro, Aoki, Toshiaki北陸先端科学技術大学院大学情報科学研究科2014-04-18Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-001p.1-18
Other Libraries in Japan
  • Subject HeadingSpecification Design Simulation Relation Model Checking
  • Note (General)...based on their simulation relation. Specifically,......n based on the simulation relation of their LTS. In this paper, ...

形式仕様と設計の整合性検証に関する研究

形式仕様と設計の整合性検証に関する研究
Digital博士論文
Vu, Dieu Huong2015-03
Available onlineOther Libraries in Japan
  • Subject Headingformal specification design formal verification simulation relation OSEK/VDX OS

Reached to the end of result.

RSS