電子情報システム学科

フィンガープリント 電子情報システム学科が有効な場合、研究トピックを掘り下げます。これらのトピックラベルは、この組織のメンバーの業績からのものです。これらはともに一意のフィンガープリントを構成します。

  • ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

    研究成果

    Automatic verification of behavior of UML requirements specifications using model checking

    Matsuura, S., Ikeda, S. & Yokotae, K., 2020 1 1, MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (版). SciTePress, p. 158-166 9 p. (MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development).

    研究成果: Conference contribution

  • Individual status recognition system assisted by UAV in post-disaster

    Ehara, K., Aljehani, M., Yokemura, T. & Inoue, M., 2020 1, 2020 IEEE International Conference on Consumer Electronics, ICCE 2020. Institute of Electrical and Electronics Engineers Inc., 9043101. (Digest of Technical Papers - IEEE International Conference on Consumer Electronics; 巻数 2020-January).

    研究成果: Conference contribution

  • Monitoring system for detecting decrease of living motivation based on change in activities of daily living

    Soma, T., Lawanont, W., Yokemura, T. & Inoue, M., 2020 1, 2020 IEEE International Conference on Consumer Electronics, ICCE 2020. Institute of Electrical and Electronics Engineers Inc., 9043016. (Digest of Technical Papers - IEEE International Conference on Consumer Electronics; 巻数 2020-January).

    研究成果: Conference contribution