|
|
JAIST Repository >
著者: "青木, 利晃"
7 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1999 | オブジェクト指向方法論の形式化とその計算機支援環境 | 青木, 利晃; あおき, としあき |
| 15-Jun-2003 | 振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術) | 立石, 孝彰; 青木, 利晃; 片山, 卓也; TATEISHI, TAKAAKI; AOKI, TOSHIAKI; KATAYAMA, TAKUYA |
| 6-Sep-2007 | マルチタスクソフトウェアの検証法 | 青木, 利晃 |
| 6-Sep-2007 | モデル検査手法1の普及に関する取り組み | 青木, 利晃 |
| 4-Jun-2012 | 高度な並行・並列組込みソフトウェアの検証法に関する研究 | 青木, 利晃; Aoki, Toshiaki |
| 1-Jun-2015 | 形式手法の統合によるシームレスなソフトウェア開発手法の提案 | 青木, 利晃; Aoki, Toshiaki |
| 15-May-2018 | 次世代車載オペレーティングシステムにおける先進機能の形式検証に関する研究 | 青木, 利晃; Aoki, Toshiaki |
|
