Formal assurance case Framework for Open systems dependability (FFO)

The agda code to accompany the draft paper "Framework of Formal assurance case for Open systems
  dependability (FFO)"


SelectionFile type iconFile nameDescriptionSizeRevisionTimeUser
ċ

ダウンロード
  11KB v. 1 2016/05/25 13:07 Makoto Takeyama
ċ

ダウンロード
  51KB v. 2 2016/05/25 13:18 Makoto Takeyama
ċ

ダウンロード
  16KB v. 1 2016/05/25 13:08 Makoto Takeyama
ċ

ダウンロード
  84KB v. 2 2016/05/25 13:18 Makoto Takeyama
ċ

ダウンロード
  6KB v. 2 2016/05/25 13:18 Makoto Takeyama
ċ

ダウンロード
  27KB v. 2 2016/05/25 13:18 Makoto Takeyama
ċ

ダウンロード
  2KB v. 1 2016/05/25 13:08 Makoto Takeyama
ċ

ダウンロード
  35KB v. 2 2016/05/25 13:18 Makoto Takeyama
Comments