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)
Resources
| Name | Format | Description | Link |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |