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)

Resources

Name Format Description Link
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4841813
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4841813
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4841813
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4841813
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4841813
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4841813
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4841813

Tags

  • railway-signaling-system,-formal-methods,-requirements-analysis,-standard-interfaces

Topics

Categories