Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"
From MaRDI portal
(Redirected from Dataset:6704291)
Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"
Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"
DOI10.5281/zenodo.4841813Zenodo4841813MaRDI QIDQ6704291FDOQ6704291
Dataset published at Zenodo repository.
Dimitri Belli, Franco Mazzanti
Publication date: 13 May 2021
Copyright license: Creative Commons Attribution 4.0 International
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)
This page was built for dataset: Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"
