HUSCAP logo Hokkaido Univ. logo

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