HUSCAP logo Hokkaido Univ. logo
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
 

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 2 of 2
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
theses (doctoral)蓑田, 玲緒奈Scenario Verification for Proximity-Based Federation of Smart Objects Using Model Checkingモデル検査によるスマートオブジェクトの近接連携シナリオの形式検証--22-Mar-2018
articleMinoda, Reona; Minato, Shin-ichiVerifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages-IEICE transactions on information and systems-Jun-2017
Showing results 1 to 2 of 2

 
Hokkaido University