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": UMC, ProB, LNT Models, SECURail Deliverables Translation Tools (source code)
提供机构：
Zenodo创建时间：
2021-05-13
