A Usable Formal Methods Sample Problem from TEEP
draft-mt-ufmrg-teep-sample-01
Revision differences
Document history
| Date | Rev. | By | Action |
|---|---|---|---|
|
2024-05-08
|
01 | (System) | Document has expired |
|
2023-11-05
|
01 | Cory Myers | New version available: draft-mt-ufmrg-teep-sample-01.txt |
|
2023-11-05
|
01 | (System) | New version approved |
|
2023-11-05
|
01 | (System) | Request for posting confirmation emailed to previous authors: Cory Myers , Hannes Tschofenig |
|
2023-11-05
|
01 | Cory Myers | Uploaded new revision |
|
2023-10-22
|
00 | Hannes Tschofenig | New version available: draft-mt-ufmrg-teep-sample-00.txt |
|
2023-10-22
|
00 | Hannes Tschofenig | New version accepted (logged-in submitter: Hannes Tschofenig) |
|
2023-10-22
|
00 | Hannes Tschofenig | Uploaded new revision |