Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking. - Reona Minoda; Shin-ichi Minato (PECCS, 2017)

Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages. - Reona Minoda; Shin-ichi Minato (IEICE Trans. Inf. Syst., 2017)