電子情報ｼｽﾃﾑ学科

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

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

    プロファイル

    亮の写真なし相場

    相場 亮

    人物: Academic

    19802019
    新開の写真なし陳

    陳 新開

    人物: Academic

    19962019
    和重の写真なし堀尾

    堀尾 和重

    人物: Academic

    19802019

    研究成果

    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