|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H19) (Jun.2007 - Mar.2008 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/4358
|
| Title: | FWサーバシステムの検証に関する研究 |
| Authors: | 横川, 智良 |
| Authors(alternative): | よこがわ, ともよし |
| Keywords: | 検証, 定理証明, オブジェクト指向, モデリング
verification, theorem proof, object-oriented, modeling |
| Issue Date: | Mar-2008 |
| Description: | Supervisor:片山卓也
情報科学研究科
修士 |
| Title(English): | Research on verification of FW server system |
| Authors(English): | Yokogawa, Tomoyoshi |
| Language: | jpn |
| URI: | http://hdl.handle.net/10119/4358 |
| Appears in Collections: | M-IS. 2007年度(H19) (Jun.2007 - Mar.2008)
|
All items in DSpace are protected by copyright, with all rights reserved.
|
