Route Validation in Event-B
收藏DataCite Commons2020-09-18 更新2025-04-17 收录
下载链接：
https://eprints.soton.ac.uk/413127
下载链接
链接失效反馈官方服务：
资源简介：
This Dataset contains Event-B developments of a UAV Route Validation system and supports:Bogdiukiewicz, C. et al (2017). Formal development of policing functions for intelligent systems. Paper presented at The 28th International Symposium on Software Reliability Engineering (ISSRE), Toulouse, France.
提供机构：
University of Southampton
创建时间：
2017-08-16
