Jump to main content

yr 〜
yr

Search results 1

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
  • Author HeadingVu, Dieu-Huong Chiba, Yuki Yatake, Kenro Aok...

Reached to the end of result.

RSS