Published May 13, 2021
| Version 1
Dataset
Open
Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"
Description
Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements":
UMC, ProB, LNT Models,
SECURail Deliverables
Translation Tools (source code)
Files
D21-demonstrator-specification.pdf
Files
(15.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1cfaae8660c03be8de97130bed04c8f5
|
4.1 MB | Preview Download |
|
md5:7e1440ffb714a233e34b769cce80edfa
|
2.3 MB | Preview Download |
|
md5:6418b203074cfc2d1556903c200f0817
|
4.2 MB | Preview Download |
|
md5:b10175c81709a7747d602b29482b9858
|
100.5 kB | Preview Download |
|
md5:f64b9a2e8abdbc299c1675f1270e0eb1
|
1.5 MB | Preview Download |
|
md5:79f96270cff5d654d2501042487bc32c
|
2.9 MB | Preview Download |