• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Mikoshi Taijyu  見越 大樹

ORCIDConnect your ORCID iD *help
… Alternative Names

見越 大樹  ミコシ タイジュ

Less
Researcher Number 00634114
Other IDs
Affiliation (Current) 2025: 日本大学, 工学部, 准教授
Affiliation (based on the past Project Information) *help 2018 – 2019: 日本大学, 工学部, 講師
Review Section/Research Field
Except Principal Investigator
Software
Keywords
Except Principal Investigator
仕様記述 / 検査項目生成 / 形式検証 / 情報工学 / ゲートウェイ配置 / 自己位置推定 / アドホックネットワーク / ロボティックス / 確率系 / モデル検査
  • Research Projects

    (1 results)
  • Research Products

    (2 results)
  • Co-Researchers

    (2 People)
  •  A Research on property generation for embedded systems based on combination testing methodology

    • Principal Investigator
      Sekizawa Toshifusa
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Nihon University

All 2019 2018

All Presentation

  • [Presentation] Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks2019

    • Author(s)
      Toshifusa Sekizawa, Qian Chen, and Taiju Mikoshi
    • Organizer
      Tenth International Symposium on Information and Communication Technology
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices2018

    • Author(s)
      Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, Qian Chen
    • Organizer
      The 8th International Workshop on Internet on Things: Privacy, Security and Trust
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00111
  • 1.  Sekizawa Toshifusa (10549314)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 2.  岡野 浩三 (70252632)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi