木下佳樹

キノシタヨシキ | Kinoshita Yoshiki

所属機関・部署：
ホームページURL (1件)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=Y63409779
MISC (6件)：

Formalising Coffman Conditions in First Order Modal mu Calculus. 算譜科学研究速報. 2006
形式的技法を用いた仕様検証. AIST Today. 2003. 3. 10. 11-11
暗号通信手順の安全性自動検証技術に関する研究成果報告書. AIST PROGTAMMING SCIENCE GROUP TECHNICAL REPORT. 2003
Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs. 情報処理学会誌:プログラミング. 2003. 44. SIG 4. 47-53
テスト付きクリーニ代数の準代数構造 Essentially algebraic structure for Kleene algebra with tests. ソフトウェアサイエンス. 2003. 20. 2. 47-53

経歴 (1件)：

所属学会 (3件)：

日本数理科学協会 , 情報処理学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

木下 佳樹