Reona Minoda

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

IEICE Trans. Inf. Syst.

Publications

Reona Minoda, Shin-ichi Minato
Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages. IEICE Trans. Inf. Syst. (6) (2017)
Reona Minoda, Shin-ichi Minato
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking. PECCS (2017)