Scenario Verification for Proximity-Based Federation of Smart Objects Using Model Checking [an abstract of dissertation and a summary of dissertation review]


Hokkaido University \| Library \| HUSCAP	Advanced Search		言語

	Home
	About HUSCAP
	Open Access Policy

	Browse by Author

Browse
	Communities & Collections

	Scholarly Journals
	Theses
	Doctoral Dissertations Listed by Graduate Schools
	Conference Procs.
	Events

	HUSCAP Senior (in Japanese)

	Societies

	Downloads (country)

For university staff
	How to post your papers to HUSCAP
	Publication of theses
	Helpline about theses publication

Open Archives Compliant

You can search our collection also at:
	Google
	Google Scholar
	CiNii
	IRDB
	OAIster
	NDLTD

Files in This Item:

Reona_Minoda_abstract.pdf	論文内容の要旨	17.86 kB	PDF	View/Open
Reona_Minoda_review.pdf	審査の要旨	19.35 kB	PDF	View/Open

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

Related Items in HUSCAP:

Title:	Scenario Verification for Proximity-Based Federation of Smart Objects Using Model Checking [an abstract of dissertation and a summary of dissertation review]
Other Titles:	モデル検査によるスマートオブジェクトの近接連携シナリオの形式検証 [論文内容及び審査の要旨]
Authors:	蓑田, 玲緒奈 Browse this author
Issue Date:	22-Mar-2018
Publisher:	Hokkaido University
Conffering University:	北海道大学
Degree Report Number:	甲第13081号
Degree Level:	博士
Degree Discipline:	情報科学
Examination Committee Members:	(主査) 教授湊真一, 教授有村博紀, 准教授瀧川一学
Degree Affiliation:	情報科学研究科（コンピュータサイエンス専攻）
Rights:	https://creativecommons.org/licenses/by-nc-sa/4.0/
Type:	theses (doctoral - abstract and summary of review)
URI:	http://hdl.handle.net/2115/70416
Appears in Collections:	学位論文 (Theses) > 博士　（情報科学）課程博士 (Doctorate by way of Advanced Course) > 情報科学院(Graduate School of Information Science and Technology)

OAI-PMH ( junii2 , jpcoar_1.0 )

- Hokkaido University