Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"
From MaRDI portal
Dataset:6704291
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"
