|
JAIST Repository >
検索結果
検索結果表示: 5921-5930 / 6856.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Jul-1994 | 投稿行動から見た電子ニュースfj | 佐藤, 円; 篠田, 陽一 |
| 29-May-2009 | Constructor-based Institutions | Gaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro |
| 22-Oct-2008 | カラードペトリネットによるワークフローシステムのモデル化と検証 | 平石, 邦彦; 山本, 豊 |
| 1-Feb-2006 | An SNMP based failure detection service | Wiesmann, Matthias; Urban, Peter; Defago, Xavier |
| 27-May-2013 | raSAT: SMT for Polynomial Inequality | To, Van Khanh; Ogawa, Mizuhito |
| 11-Sep-2012 | A Formal Framework for Access Rights Analysis | Li, Xin; Hua, Vy Le Thanh |
| 29-Jun-2011 | Modular Stacking-based Context-Sensitive Program Analysis | Li, Xin; Ogawa, Mizuhito |
| 21-Jun-2010 | Combining Testing and Static Analysis to Overflow and Roundoff Error Detection | Do, Ngoc Thi Bich; Ogawa, Mizuhito |
| 20-Nov-2007 | MDAフレームワークのEDA分野への適用 | 岩政, 幹人; 落水, 浩一郎 |
| 28-Mar-2007 | ソフトウェアアカウンタビリティ実現のためのGORAと法理論の利用に関する報告 | 杉森, 隼人; 落水, 浩一郎 |
前へ
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
次へ
|
