|
|
JAIST Repository >
著者: "Aoki, Toshiaki"
11 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 5-Aug-2002 | Extracting threads from concurrent objects for the design of embedded systems | Okazaki, Mitsutaka; Aoki, Toshiaki; Katayama, Takuya |
| 15-Jun-2003 | 振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術) | 立石, 孝彰; 青木, 利晃; 片山, 卓也; TATEISHI, TAKAAKI; AOKI, TOSHIAKI; KATAYAMA, TAKUYA |
| 21-Sep-2005 | An Object-Oriented logic for software analysis and design | Yatake, Kenro; Aoki, Toshiaki; Katayama, Takuya |
| 7-Mar-2007 | Verification of Multi-Task Software | Aoki, Toshiaki |
| 10-Feb-2010 | Automatic Generation of Model Checking Scripts based on Environment Modeling | Yatake, Kenro; Nishibata, Hirokazu; Aoki, Toshiaki |
| 20-Apr-2010 | Modeling of Real-Time System Designs for Parametric Analysis | Chaiwat, Sathawornwichit; Aoki, Toshiaki; Katayama, Takuya |
| 4-Jun-2012 | 高度な並行・並列組込みソフトウェアの検証法に関する研究 | 青木, 利晃; Aoki, Toshiaki |
| 18-Apr-2014 | Model Checking Conformance of Design Model to Its Formal Specification | Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki |
| 1-Jun-2015 | 形式手法の統合によるシームレスなソフトウェア開発手法の提案 | 青木, 利晃; 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 |
| 15-May-2018 | 次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究 | 青木, 利晃; Aoki, Toshiaki |
|
