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)

Files in This Item:

File Description SizeFormat
abstract.pdf51KbAdobe PDFView/Open
jabstract.pdf30KbAdobe PDFView/Open
paper.pdf470KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology