Fingerprint Dive into the research topics where R&D Center for Smart Mobility is active. These topic labels come from the works of this organisation's members. Together they form a unique 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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 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., Jan 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Transition Matrix
State Transition
Path
Software design
Software Design
5 Citations (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., Aug 31 2016, Proceedings - 2016 5th IIAI International Congress on Advanced Applied Informatics, IIAI-AAI 2016. Hiramatsu, A., Matsuo, T., Kanzaki, A. & Komoda, N. (eds.). 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Life cycle
Uncertainty
11 Citations (Scopus)

Software for wearable devices: Challenges and opportunities

Jiang, H., Chen, X., Zhang, S., Zhang, X., Kong, W. & Zhang, T., Sep 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. (eds.). IEEE Computer Society, p. 592-597 6 p. 7273430. (Proceedings - International Computer Software and Applications Conference; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computer science
Computer systems