Route Validation in Event-B
收藏数据链接：
官方服务：
资源简介：
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.
创建时间：
2017-08-16
