HOME    About this site    mypage    Japanese    library    university    Feedback

University of the Ryukyus Repository >
Faculty of Engineering >
Doctoral Dissertation (Graduate School of Engineering and Science) >

Title :Study on Reliable Evaluation of Dynamic Routing Protocols and eID System Using Event-B and Formal Method
Title alternative :Event-Bと形式手法を用いたダイナミックルーテイングプロトコルと電子IDシステムの信頼性評価に関する研究
Authors :Baktash, Jawid Ahmad
Issue Date :Mar-2017
Type Local :学位論文
Publisher :University of the Ryukyus
URI :http://hdl.handle.net/20.500.12000/36490
Grant id :18001理工研第333号
Date of granted :2017-03-24
Degree name :博士(学術)
Grantor :琉球大学
Appears in Collections:Doctoral Dissertation (Graduate School of Engineering and Science)

Files in This Item:

File Description SizeFormat
rikoken333abstract.pdfAbstract_論文要旨45KbAdobe PDFView/Open
rikoken333review.pdfReview_審査要旨693KbAdobe PDFView/Open
rikoken333text.pdfText_全文2037KbAdobe PDFView/Open