電子情報システム学科

フィンガープリント

電子情報システム学科が活動している研究トピックを掘り下げます。これらのトピックラベルは、この組織のメンバーの研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。

ネットワーク

国レベルでの最近の外部協力。点をクリックして確認してください。

  • 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. (eds.). SciTePress, p. 158-166 9 p. (MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development).

    研究成果: Conference contribution

  • CALET on the International Space Station: The first three years of observations

    Brogi, P., Brogi, P., Adriani, O., Adriani, O., Akaike, Y., Akaike, Y., Asano, K., Asaoka, Y., Asaoka, Y., Bagliesi, M. G., Bagliesi, M. G., Berti, E., Berti, E., Bigongiari, G., Bigongiari, G., Binns, W. R., Bonechi, S., Bonechi, S., Bongi, M., Bongi, M. & 97 others, Bruno, A., Buckley, J. H., Cannady, N., Cannady, N., Castellini, G., Checchia, C., Checchia, C., Cherry, M. L., Collazuol, G., Collazuol, G., Di Felice, V., Di Felice, V., Ebisawa, K., Fuke, H., Guzik, T. G., Hams, T., Hams, T., Hibino, K., Ichimura, M., Ioka, K., Ishizaki, W., Israel, M. H., Kasahara, K., Kataoka, J., Kataoka, R., Katayose, Y., Kato, C., Kawanaka, N., Kawanaka, N., Kawakubo, Y., Kohri, K., Krawczynski, H. S., Krizmanic, J. F., Krizmanic, J. F., Link, J., Link, J., Maestro, P., Maestro, P., Marrocchesi, P. S., Marrocchesi, P. S., Messineo, A. M., Messineo, A. M., Mitchell, J. W., Miyake, S., Moiseev, A. A., Moiseev, A. A., Mori, M., Mori, N., Motz, H. M., Munakata, K., Murakami, H., Nakahira, S., Nishimura, J., De Nolfo, G. A., Okuno, S., Ormes, J. F., Ospina, N., Ospina, N., Ozawa, S., Pacini, L., Palma, F., Palma, F., Papini, P., Rauch, B. F., Ricciarini, S. B., Ricciarini, S. B., Sakai, K., Sakai, K., Sakamoto, T., Sasaki, M., Sasaki, M., Shimizu, Y., Shiomi, A., Sparvoli, R., Sparvoli, R., Spillantini, P., Stolzi, F., Stolzi, F., Sugita, S., Suh, J. E., Suh, J. E., Sulaj, A., Sulaj, A., Takahashi, I., Takita, M., Tamura, T., Terasawa, T., Torii, S., Torii, S., Tsunesada, Y., Uchihori, Y., Vannuccini, E., Wefel, J. P., Yamaoka, K., Yanagita, S., Yoshida, A. & Yoshida, K., 2020 7, In : Physica Scripta. 95, 7, 074012.

    研究成果: Article › 査読

  • CALET results after three years on the International Space Station

    Asaoka, Y., Adriani, O., Akaike, Y., Asano, K., Bagliesi, M. G., Berti, E., Bigongiari, G., Binns, W. R., Bonechi, S., Bongi, M., Bruno, A., Buckley, J. H., Cannady, N., Castellini, G., Checchia, C., Cherry, M. L., Collazuol, G., Di Felice, V., Ebisawa, K., Fuke, H. & 65 others, Guzik, T. G., Hams, T., Hibino, K., Ichimura, M., Ioka, K., Ishizaki, W., Israel, M. H., Kasahara, K., Kataoka, J., Kataoka, R., Katayose, Y., Kato, C., Kawanaka, N., Kawakubo, Y., Kohri, K., Krawczynski, H. S., Krizmanic, J. F., Link, J., Maestro, P., Marrocchesi, P. S., Messineo, A. M., Mitchell, J. W., Miyake, S., Moiseev, A. A., Mori, M., Mori, N., Motz, H. M., Munakata, K., Nakahira, S., Nishimura, J., De Nolfo, G. A., Okuno, S., Opsina, N., Ormes, J. F., Ozawa, S., Pacini, L., Palma, F., Pal'Shin, V., Papini, P., Rauch, B. F., Ricciarini, S. B., Sakai, K., Sakamoto, T., Sasaki, M., Shimizu, Y., Shiomi, A., Sparvoli, R., Spillantini, P., Stolzi, F., Sugita, S., Suh, J. E., Sulaj, A., Takahashi, I., Takita, M., Tamura, T., Terasawa, T., Torii, S., Tsunesada, Y., Uchihori, Y., Vannuccini, E., Wefel, J. P., Yamaoka, K., Yanagita, S., Yoshida, A. & Yoshida, K., 2020 3 20, In : Journal of Physics: Conference Series. 1468, 1, 012074.

    研究成果: Conference article › 査読

    Open Access