The agda code to accompany the draft paper "Framework of Formal assurance case for Open systems dependability (FFO)" |
Formal assurance case Framework for Open systems dependability (FFO)
| Selection | File type icon | File name | Description | Size | Revision | Time | User |
|---|---|---|---|---|---|---|---|
|
ċ
|
ダウンロード |
11KB | v. 3 | 2016/05/25 13:07 | Makoto Takeyama | ||
|
ċ
|
ダウンロード |
51KB | v. 4 | 2016/05/25 13:18 | Makoto Takeyama | ||
|
ċ
|
ダウンロード |
16KB | v. 3 | 2016/05/25 13:08 | Makoto Takeyama | ||
|
ċ
|
ダウンロード |
84KB | v. 4 | 2016/05/25 13:18 | Makoto Takeyama | ||
|
ċ
|
ダウンロード |
6KB | v. 4 | 2016/05/25 13:18 | Makoto Takeyama | ||
|
ċ
|
ダウンロード |
27KB | v. 4 | 2016/05/25 13:18 | Makoto Takeyama | ||
|
ċ
|
ダウンロード |
2KB | v. 3 | 2016/05/25 13:08 | Makoto Takeyama | ||
|
ċ
|
ダウンロード |
35KB | v. 4 | 2016/05/25 13:18 | Makoto Takeyama |