JAIST Repository >
JAIST >
Theses >
Master of Science(Information Science) >
H09) (Jun.1997 - Mar.1998 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/1147

Title: CafeOBJによるB-抽象機械モデルの検証法に関する研究
Authors: 梅原, 伸年
Authors(alternative): うめはら, のぶとし
Keywords: B-Technology, 無矛盾性, 隠蔽代数, 段階的詳細化, 投影演算
B-Technology, internal consistency, hidden algebra
Issue Date: Mar-1998
Description: 
Supervisor:二木 厚吉
情報科学研究科
修士
Title(English): Verification Method of B-Abstract Machine Model in CafeOBJ
Authors(English): Umehara, Nobutoshi
Language: jpn
URI: http://hdl.handle.net/10119/1147
Appears in Collections:M-IS. 1997年度(H09) (Jun.1997 - Mar.1998)

Files in This Item:

File Description SizeFormat
414abstract.pdf92KbAdobe PDFView/Open
414jabstract.pdf50KbAdobe PDFView/Open
414paper.pdf662KbAdobe PDFView/Open

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

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)