研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2009/03
形態種別	その他
査読	査読あり
標題	Fieldwork and the 4:6 Principle-Introduction to the Research Center for Verification and Semantics, in "Proceedings of IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09"
執筆形態	単著
掲載誌名	IEEE Computer Society
巻・号・頁	http://ieeexplore.ieee.org/頁