最近の更新履歴

2016/09/06 22:34 木下修司 が 研究所概要 を編集
2016/07/22 0:37 木下佳樹 が 講演予定: "オープンシステム・ディペンダビリティのアシュランス議論と ディペンダビリティケース ~IEC62853のアプローチ~" を作成
2016/07/21 23:28 木下佳樹 が 講演予定: "The 6W1H Model as a Basis for Systems Assurance Argument" を作成
2016/07/21 23:24 木下佳樹 が プロジェクト「オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク」(IPA RISE制度による委託研究)終了 を作成
2016/05/25 13:18 Makoto Takeyama が Notation.agda.html を更新
2016/05/25 13:18 Makoto Takeyama が Evidence.agda.html を更新
2016/05/25 13:18 Makoto Takeyama が Evidence.agda を更新
2016/05/25 13:18 Makoto Takeyama が Contexts.agda.html を更新
2016/05/25 13:18 Makoto Takeyama が Argument.agda.html を更新
2016/05/25 13:11 Makoto Takeyama が Notation.agda.htmlFormal assurance case Framework for Open systems dependability (FFO) に添付
2016/05/25 13:11 Makoto Takeyama が Evidence.agda.htmlFormal assurance case Framework for Open systems dependability (FFO) に添付
2016/05/25 13:11 Makoto Takeyama が Contexts.agda.htmlFormal assurance case Framework for Open systems dependability (FFO) に添付
2016/05/25 13:10 Makoto Takeyama が Argument.agda.htmlFormal assurance case Framework for Open systems dependability (FFO) に添付
2016/05/25 13:08 Makoto Takeyama が Notation.agdaFormal assurance case Framework for Open systems dependability (FFO) に添付
2016/05/25 13:08 Makoto Takeyama が Evidence.agdaFormal assurance case Framework for Open systems dependability (FFO) に添付
2016/05/25 13:08 Makoto Takeyama が Contexts.agdaFormal assurance case Framework for Open systems dependability (FFO) に添付
2016/05/25 13:07 Makoto Takeyama が Argument.agdaFormal assurance case Framework for Open systems dependability (FFO) に添付
2016/05/25 13:06 Makoto Takeyama が Formal assurance case Framework for Open systems dependability (FFO) を編集
2016/05/25 13:06 Makoto Takeyama が Formal assurance case Framework for Open systems dependability (FFO) を編集
2016/05/25 13:03 Makoto Takeyama が FFO を作成
2016/03/24 23:39 奥野康二 が 第5回システムアシュランス研究会・第4回DEOS標準化部会講演会報告 を作成
2016/03/22 23:26 奥野康二 が 3月16日講演会スライドの掲載 を作成
2016/03/22 23:20 奥野康二 が 「第5回システムアシュランス研究会・第4回DEOS標準化部会講演会合同開催」のご案内 を編集
2016/02/22 3:33 奥野康二 が 「第5回システムアシュランス研究会・第4回DEOS標準化部会講演会合同開催」のご案内 を編集
2016/02/18 1:40 奥野康二 が 「第5回システムアシュランス研究会・第4回DEOS標準化部会講演会合同開催」のご案内 を編集

古い | 新しい