|
JAIST Repository >
検索結果
検索結果表示: 1741-1750 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 11-Sep-2006 | Gathering asychronous mobile robots with inaccurate compasses | Souissi, Samia; Defago, Xavier; Yamashita, Masafumi |
| 20-Jul-2005 | Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility | Souissi, Samia; Defago, Xavier; Yamashita, Masafumi |
| 25-Jan-2013 | Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems | Pham, Thanh-Trung; Defago, Xavier |
| 27-Nov-2013 | Generate & Check Methods for Invariant Verification in CafeOBJ | Futatsugi, Kokichi |
| 27-May-2013 | raSAT: SMT for Polynomial Inequality | To, Van Khanh; Ogawa, Mizuhito |
| 8-Jan-2013 | Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability | Cai, Xiaojuan; 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と法理論の利用に関する報告 | 杉森, 隼人; 落水, 浩一郎 |
| 7-Feb-2006 | UML図面群の変更波及解析に利用可能な依存関係の自動生成法 | 小谷, 正行; 落水, 浩一郎 |
前へ
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
次へ
|
