トップページ
|
北陸先端科学技術大学院大学
|
附属図書館
全て
教員登録文献
詳細検索
一覧
コミュニティ
& コレクション
タイトル
著者
日付
学位論文
リサーチレポート・テクニカルメモランダム
登録利用者:
登録者ページ
利用者(E-people)
ヘルプ
当システムについて
JAIST Repository
>
矢竹 健朗
(ヤタケ ケンロウ)助教
研究者総覧
発行年月日(降順)
発行年月日(昇順)
No.
書籍情報
1
Model Checking Conformance of Design Model to Its Formal Specification / Vu, Dieu-Huong, Chiba, Yuki, Yatake, Kenro, Aoki, Toshiaki, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2014-001, pp.1-18, 2014-04-18, 北陸先端科学技術大学院大学情報科学研究科
2
データ管理領域におけるプログラム検証の自動化に関する研究 / 矢竹, 健朗, 科学研究費補助金研究成果報告書, pp.1-4, 2011-04-01
3
Automatic Generation of Model Checking Scripts based on Environment Modeling / Yatake, Kenro, Nishibata, Hirokazu, Aoki, Toshiaki, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2010-001, pp.1-8, 2010-02-10, 北陸先端科学技術大学院大学情報科学研究科
4
定理証明によるファイアウォールサーバの検証 / 矢竹, 健朗, pp.1-23, 2007-09-06
5
COE Research Monograph Series, Vol. 1 : オブジェクト指向理論によるファイアーウォールサーバの検証 / 矢竹, 健朗, 2006-07, JAIST Press
6
An Object-Oriented logic for software analysis and design / Yatake, Kenro, Aoki, Toshiaki, Katayama, Takuya, pp.1-27, 2005-09-21
お問い合わせ先 :
北陸先端科学技術大学院大学 研究推進課図書館情報係