Dataset in support of the journal article 'Systematic hierarchical analysis of requirements for critical systems'
收藏DataCite Commons2024-03-06 更新2024-07-13 收录
下载链接：
https://eprints.soton.ac.uk/487776/
下载链接
链接失效反馈官方服务：
资源简介：
SHARCS - Event-B models
Application of SHARCS (Systematic Hierarchical Analysis of Requirements for Critical Systems) approach in
a security-critical case study (Tokeneer system) and
a safety critical case study (LevelCrossing system).
Data in support of the journal article 'Systematic hierarchical analysis of requirements for critical systems' to be published in Innovations in Systems and Software Engineering
提供机构：
University of Southampton
创建时间：
2024-03-06
