木下 佳樹 | 独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体

スポンサーリンク

概要

• 同名の論文著者
• 独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体の論文著者

関連著者

• 木下 佳樹

  独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体

• 木下 佳樹

  産業技術総合研究所

• 木下 佳樹

  (独)産業技術総合研究所 組込みシステム技術連携研究体

• 木下 佳樹

  産業技術総合研究所システム検証研究センター

• 高井 利憲

  産業技術総合研究所

• 木下 佳樹

  電子技術総合研究所

• 木下 佳樹

  独立行政法人 産業技術総合研究所

• 木下 佳樹

  独立行政法人産業技術総合研究所

• 高橋 孝一

  産業技術総合研究所

• 高橋 孝一

  産業技術総合研究所システム検証研究センター

• 高村 博紀

  独立行政法人科学技術振興機構

• 武山 誠

  独立行政法人産業技術総合研究所

• 高村 博紀

  独立行政法人 科学技術振興機構

• 武山 誠

  独立行政法人 産業技術総合研究所

• 後藤 博之

  FDK株式会社

• 潮 俊光

  大阪大学大学院基礎工学研究科

• 高村 博紀

  JST CRESTディペンダブル組込みOS研究開発センター

• 潮 俊光

  神戸女学院大学

• 潮 俊光

  大阪大学 大学院基礎工学研究科

• 神志那 純

  大阪大学大学院基礎工学研究科

• 古澤 仁

  独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体

• 原田 文明

  富士ゼロックス

• 古澤 仁

  (独)産業技術総合研究所情報処理研究部門情報科学連携研究体

• 後藤 博之

  富士通株式会社

• 岡本 圭史

  産業技術総合研究所

• 和泉 憲明

  (独)産業技術総合研究所サービス工学研究センター

• 清野 貴博

  産総研

• 和泉 憲明

  産総研

• 橋田 浩一

  産総研

• 岡本 圭史

  (独)産業技術総合研究所 組込みシステム技術連携研究体

• 清野 貴博

  (独)産業技術総合研究所 社会知能技術研究ラボ

• 橋田 浩一

  (独)産業技術総合研究所 社会知能技術研究ラボ

• 中田 秀基

  電子技術総合研究所

• 高橋 孝一

  電子技術総合研究所

• 橋田浩一

  産業技術総合研究所

• 中田 秀基

  電総研

• 橋田 浩一

  東京大学電子技術総合研究情報科学部

• 橋田 浩一

  ICOT

• 橋田 浩一

  Iccs/jcss99実行委員、日本認知科学会

• 橋田 浩一

  産業技術総合研究所サイバーアシスト研究センター:科学技術振興事業団戦略的基礎研究推進事業

• 高井 利憲

  (独)産業技術総合研究所システム検証研究センター

• 大崎 人士

  (独)産業技術総合研究所システム検証研究センター

• パワー ジョン

  エディンバラ大学基礎計算機科学研究所

• 木下 佳樹

  特集編集委員

• 原田 文明

  冨士ゼロックスアドバンストテクノロジー株式会社

• 橋田 浩一

  東京工業大学大学院総合理工学研究科:産業技術総合研究所情報技術研究部門:科学技術振興機構crest

• 原田 文明

  富士ゼロックスアドバンストテクノロジ-株式会社

• 和泉 憲明

  (独)産業技術総合研究所

• 橋田 浩一

  (独)産業技術総合研究所

もっと見る 閉じる

著作論文

• 第1回 記述とは(記述の科学)
• 第2回 視点と形式的体系(記述の科学)
• 第3回 記述の構成と利用(記述の科学)
• 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
• 臨床情報学のための野外科学的方法--技術移転の方法論に向けて
• 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
• Mealyオートマトンのスーパバイザ制御の余代数による解析(コンカレントシステム,離散事象システム及び一般)
• 2. フォーマルメソッドのフィールドワーク(Part II:産業界への応用,フォーマルメソッドの新潮流)
• テスト付きクリーニ代数の準代数構造
• B-3 連を用いたwhileプログラムの意味論(プログラムの理論,B.ソフトウェア)
• クヌース・ベンディクスの代りに米田 : モノイドの場合
• ファイブレーションに基づく論理プログラムの意味論
• プログラミング言語ML
• 林 晋 著, "数理論理学", コンピュータ数学シリーズ3, コロナ社, A5判, 177p., \2,060, 1989
• 部分観測Mealyオートマトンのスーパバイザ制御の余代数による解析(一般,コンカレントシステム及び一般)
• 産業技術総合研究所関西センターだより(26)機能安全とソフトウェア認証
• ソフトウェアの複雑さ (特集 複雑系モデルと情報処理--21世紀の科学)
• 特集「システム検証の科学技術」の編集にあたって(システム検証の科学技術)
• 作譜科学の現状と将来--心配のないソフトウェア開発に向けて
• 特集「続・システム検証の科学技術」の編集にあたって(サイバー増大号)
• 特集「システム検証の科学技術」の編集にあたって
• 産総研システム検証研究センター紹介
• ディペンダビリティに関する国際標準化の動向 : IEC TC56の概要と国際会議での動向(信頼性国際規格,保全性,信頼性一般)
• 帰納と再帰 : 表示的意味論の第一歩
• Do the right things
• ディペンダビリティに関する国際標準化の動向 : IEC TC56の概要と国際会議での動向
• ディペンダビリティに関する国際標準化の動向 : IEC TC56の概要と国際会議での動向(信頼性国際規格,保全性,信頼性一般)

もっと見る 閉じる

スポンサーリンク