[Updated on July 12] Integration of CiNii Articles into CiNii Research from April 1, 2022

離散確率分布を持つリアルタイムシステムの確率時間双模倣関係と確率時間時相論理式の保存

  • YAMANE Satoshi
    Kanazawa University, Graduate School of Natural Science & Technology, Professor

Bibliographic Information

Title
離散確率分布を持つリアルタイムシステムの確率時間双模倣関係と確率時間時相論理式の保存
Author
山根 智

Journal

Articles

See more

Research Data

See more

Books

See more

Dissertations

See more

Research Projects

See more

Products

See more

Details

  • CRID
    1010282256766957188
  • Article Type
    journal article
  • Data Source
    • KAKEN
Back to top