Nakagawa,H., Ohsuga,A., and Honiden,S.: Constructing Self-adaptive Systems Usinga KAOS Model, in Proc. of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 08), Venice, Italy,pp.132-137 (2008.10).
2018年1月10日/ 最終更新日時 : 2018年1月10日
Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki,Shinichi Honiden: Education Course of Practical Model Checking, in Proc. of the FirstInternational Workshop on Formal Methods Education and Training (FMET2008), 北九州国際会議場 (2008.10), pp.33-48.
2018年1月9日/ 最終更新日時 : 2018年1月9日
Kawamura,T., Umezu,K., and Ohsuga,A.: Mobile Navigation System for the Elderly – Preliminary Experiment and Evaluation, in Proc. of the 5th International Conference on Ubiquitous Intelligence and Computing, Oslo University College, Oslo, Norway (2008.6), pp.578-590.