年別の研究成果
年別の研究成果
検索結果
-
2013
Towards formal description of standards for automotive operating systems
Yatsu, H., Ando, T., Kong, W., Hisazumi, K., Fukuda, A., Aoki, T. & Futatsugi, K., 2013, p. 13-14. 2 p.研究成果: Paper › 査読
3 被引用数 (Scopus) -
2002
Design and implementation of the Lambda μ-kernel based operating system for embedded systems
Hisazumi, K., Nakanishi, T., Kitasuka, T. & Fukuda, A., 2002, p. 178-181. 4 p.研究成果: Paper › 査読