|
|
JAIST Repository >
検索結果
検索結果表示: 11-20 / 20.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 7-Mar-2007 | Counterexample Discovery with a Combination of Induction and Bounded Model Checking | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
| 10-Apr-2009 | 証明支援系とモデル検査器を効果的に利用できる環境と方法論 | 緒方, 和博; OGATA, KAZUHIRO |
| 1-Feb-2010 | Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications | Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi |
| Mar-2023 | アルデヒド官能基化デキストランおよび無水コハク酸処理ε-ポリ-L-リジンからなる自己分解型接着剤の分解機構とその応用 | 玄, 優基; げん, ゆうき |
| Jan-2016 | A study on transvelar coupling for non-nasalized sounds | Dang, Jianwu; Wei, Jianguo; Honda, Kiyoshi; Nakai, Takayoshi |
| Sep-2024 | サクランにおける機能性ナノ粒子の形成とハイブリッド化 | Saosamniang, Pruetsakorn; さおさむにあん, ぷるーとさこーん |
| Sep-2004 | OTS/CafeOBJ仕様からJavaプログラムの変換に関する研究 | Jittisak, Senachak; じっていさく, せなちゃく |
| Dec-2022 | ゲシュタルト原理に基づく状態機械の見える化とその応用 | Bui, Duy Dang; ぶい, でゅい だん |
| Sep-2023 | 代数技術による形式検証とその応用 | Tran, Dinh Duong; とらん, でぃん どぅおんぐ |
| Sep-2022 | 分割統治による誘導性と条件付安定性のモデル検査 | Yati, Phyo; やてい, ぴよー |
前へ
1
2
|
