|
|
JAIST Repository >
著者: "Yatake, Kenro"
5 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 21-Sep-2005 | An Object-Oriented logic for software analysis and design | Yatake, Kenro; Aoki, Toshiaki; Katayama, Takuya |
| 10-Feb-2010 | Automatic Generation of Model Checking Scripts based on Environment Modeling | Yatake, Kenro; Nishibata, Hirokazu; Aoki, Toshiaki |
| 1-Apr-2011 | データ管理領域におけるプログラム検証の自動化に関する研究 | 矢竹, 健朗; Yatake, Kenro |
| 18-Apr-2014 | Model Checking Conformance of Design Model to Its Formal Specification | Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki |
| 23-May-2016 | Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System | Aoki, Toshiaki; Satoh, Makoto; Tani, Mitsuhiro; Yatake, Kenro; Kishi, Tomoji |
|
