Reona Minoda

According to our database¹, Reona Minoda authored at least 2 papers in 2017.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2017), 2017