ディペンダビリティに関する国際標準化の動向 : IEC TC56の概要と国際会議での動向
スポンサーリンク
概要
- 論文の詳細を見る
- 2011-12-09
著者
-
原田 文明
富士ゼロックス
-
木下 佳樹
独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体
-
後藤 博之
富士通株式会社
-
木下 佳樹
独立行政法人産業技術総合研究所
-
武山 誠
独立行政法人産業技術総合研究所
-
高村 博紀
独立行政法人 科学技術振興機構
-
原田 文明
富士ゼロックスアドバンストテクノロジ-株式会社
-
木下 佳樹
独立行政法人 産業技術総合研究所
-
武山 誠
独立行政法人 産業技術総合研究所
-
後藤 博之
FDK株式会社
関連論文
- リユースの信頼性に関する国際規格の動向(信頼性に関する国際規格の動向)
- 第1回 記述とは(記述の科学)
- 第2回 視点と形式的体系(記述の科学)
- 第3回 記述の構成と利用(記述の科学)
- 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
- 臨床情報学のための野外科学的方法--技術移転の方法論に向けて
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- Mealyオートマトンのスーパバイザ制御の余代数による解析(コンカレントシステム,離散事象システム及び一般)
- 2003年IEC/TC56 (ディペンダビリティ)シドニー会議速報
- 2003年IEC/TC56(ディペンダビリティ)シドニー会議速報
- 2002年IEC/TC56北京会議とその後の動向
- IEC/TC56ディペンダビリティ規格の動向(5) : ディペンダピリティ国際規格化に関するIEC/TC56北京会議の動向
- IEC/TC56ディペンダビリティ規格の動向(5) : ディペンダビリティ国際規格化に関するIEC/TC56北京会議の動向
- 富士ゼロックスにおける新製品開発を支える管理技術 (新製品開発を支える管理技術)
- 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の概要と国際会議での動向(信頼性国際規格,保全性,信頼性一般)