INFSOC: Informatics Society
  • Home
  • About INFSOC
  • Conferences
    • IWIN 2025
    • SAIS 2019
    • Past Conferences
  • Japan Chapter
    • Symposium 2024
    • Past Symposium
  • Journals
    • Current Issue
    • Past Issues
    • For Authors
  • Organization
  • Contact

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)
Copyright 2025 INFSOC. All rights reserved.