Requirements document, scenarios, and Event-B models for lift examples
收藏DataCite Commons2020-09-20 更新2025-05-18 收录
下载链接：
https://eprints.soton.ac.uk/id/eprint/422715
下载链接
链接失效反馈官方服务：
资源简介：
This dataset supports the publication titled "Behaviour-driven formal model development" (ICFEM 2018)
提供机构：
University of Southampton
创建时间：
2018-08-01
