|
|
JAIST Repository >
一覧: タイトル
検索結果: 8727-8747 / 18596.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2012 | モデル検査における多視点環境モデリング手法に関する研究 | 久井, 翔大; ひさい, しょうた |
| Sep-2018 | モデル検査における様々なスケジューラの取り扱いに関する研究 | Tran, Hoa Nhat; とらん, ほあ にゃっと |
| Mar-2014 | モデル検査における誤り原因の特定に関する研究 | 小川, 直哉; おがわ, なおや |
| 28-Nov-2006 | モデル検査によるアーキテクチャ設計検証 | 岸, 知二 |
| Sep-2006 | モデル検査によるコンポーネントベースシステム検証へのアプローチ | Pham, Ngoc Hung |
| Mar-2010 | モデル検査による大規模な計算機環境での検証手法 | 戸川, 博貴; とがわ, ひろたか |
| Mar-2008 | モデル検査のためのアスペクト指向でのモデル記述支援環境に関する研究 | 大野, 真一朗; おおの, しんいちろう |
| Mar-2008 | モデル検査のためのメカニズム制御システムのモデル化 | 清水, 浩二; しみず, こうじ |
| Mar-2009 | モデル検査のための環境モデリング手法に関する研究 | 西端, 浩和; にしばた, ひろかず |
| Mar-2003 | モデル検査を用いたシステム検証の支援に関する研究 | 中野, 昌弘; なかの, まさひろ |
| Sep-2015 | モデル検査を用いたフォールトアナリシス手法の提案 | 野口, 秀人; のぐち, ひでと |
| Jun-2012 | モデル検査ツールにより出力された反例に基づく誤り特定に関する研究 | 陳, 適; ちん, てき |
| 6-Sep-2007 | モデル検査手法1の普及に関する取り組み | 青木, 利晃 |
| Mar-2009 | モデル検査技術によるセキュリティ検証へのアスペクト指向技術の適用 | 小坂, 浩之; こさか, ひろゆき |
| 15-Oct-2003 | モデル検査技術を利用したプログラム解析器の生成ツール | 山岡, 裕司; 胡, 振江; 武市, 正人; 小川, 瑞史; YAMAOKA, Yuji; HU, Zhenjiang; TAKEICHI, Masato; OGAWA, Mizuhito |
| Mar-2010 | モデル検査技術を活用した検証指向ソフトウェア設計手法の研究 | 金井, 勇人; かない, はやと |
| Mar-2009 | モデル検査用記述に基づいたテストケースの生成法 | グェン, タムティミン; ぐぇん, たむてぃみん |
| Mar-2009 | モデル検査記述のリファクタリングに関する研究 | 張, 巍; ちょう, ぎ |
| 28-May-2014 | モデル膜による分子ストレスセンシング | VESTERGAARD, Catherine |
| Mar-2008 | モデル非依存BVHトラバースアルゴリズムの考案 | 瀬井, 大志; せい, たいし |
| Sep-2004 | モデル駆動アプローチにおける経営管理システムの開発とモデル駆動型アーキテクチャの開発環境の構築 | 黄, 明仁; こう, めいにん |
|
