International Journal of Informatics Society (IJIS)
ISSN: 1883-4566
Volume: 13, No: 3, Date: March 2022
Full Image: PDF (26.7MB)
Contents
Guest Editor's Message
H. Yoshiura
Page: 105 (
PDF)
Regular Paper
Executable Counterexample for Java Model Checker
C. M. B. Hassan, S. Ogata, and K. Okano
Pages: 107-114 (
PDF)
Regular Paper
Building a Robust RTK-GNSS Infrastructure with Seamless Handover and a Multipath Detection Approach
B. Rokaha, B. Prasad Gautam, and T. Kitani
Pages: 115-128 (
PDF)
Regular Paper
Evaluation of Autonomous Control of Server Relocation for Fog Computing Systems
K. Kamada, H. Inamura, and Y. Nakamura
Pages: 129-138 (
PDF)
