スマートモビリティ研究開発センター

Fingerprint スマートモビリティ研究開発センターが取り組む研究トピックをご確認ください。これらのトピックラベルは、この組織のメンバーの研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

Model checking Engineering & Materials Science
Surface mount technology Engineering & Materials Science
Specifications Engineering & Materials Science
Theorem proving Engineering & Materials Science
Transition Matrix Mathematics
State Transition Mathematics
Formal methods Engineering & Materials Science
Authentication Engineering & Materials Science

ネットワーク 最近の共同研究。丸をクリックして詳細を確認しましょう。

研究成果 2003 2017

ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC

Kong, W., Hou, G., Hu, X., Arimoto, Y., Watanabe, M., Ando, T., Kenji, H. & Fukuda, A., 1 10 2017, Proceedings - 2016 International Conference on Agents, ICA 2016. Institute of Electrical and Electronics Engineers Inc., p. 154-157 4 p. 7812997. (Proceedings - 2016 International Conference on Agents, ICA 2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

Transition Matrix
State Transition
Path
Software design
Software Design
5 引用 (Scopus)

Towards sustainable information infrastructure platform for smart mobility - Project overview

Fukuda, A., Kenji, H., Ishida, S., Mine, T., Nakanishi, T., Furusho, H., Tagashira, S., Arakawa, Y., Kaneko, K. & Kong, W., 8 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (版). Institute of Electrical and Electronics Engineers Inc., p. 211-214 4 p. 7557604. (Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

Life cycle
Uncertainty
11 引用 (Scopus)

Software for wearable devices: Challenges and opportunities

Jiang, H., Chen, X., Zhang, S., Zhang, X., Kong, W. & Zhang, T., 9 21 2015, Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference Workshops, COMPSACW 2015. Ahamed, S. I., Chang, C. K., Crnkovic, I., Hsiung, P-A., Yang, J., Huang, G. & Chu, W. (版). IEEE Computer Society, p. 592-597 6 p. 7273430. (Proceedings - International Computer Software and Applications Conference; 巻数 3).

研究成果: 著書/レポートタイプへの貢献会議での発言

Computer science
Computer systems