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"


DOI10.5281/zenodo.4841813ZenodoMaRDI QIDQ6704291FDO


Authors Dimitri Belli, Franco Mazzanti

Publication date 13 May 2021

Copyright license Creative Commons Attribution 4.0 International


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)











This page was built for dataset: Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Supplementary_data_for_FMICS_2021_publication_%22A_Case_Study_in_Formal_Analysis_of_System_Requirements%22&oldid=54952420"
Powered by MediaWiki