Rodin Developments for Formal Policing Functions based on Metamorphic Relations

Name: Rodin Developments for Formal Policing Functions based on Metamorphic Relations
Creator: University of Southampton
Published: 2018-07-12T12:22:32+08:00

DataCite Commons2020-09-20 更新2025-04-17 收录

智能警务系统

交通灯识别

数据链接：

https://eprints.soton.ac.uk/id/eprint/421953 数据链接链接失效反馈

官方服务：

资源简介：

The Rodin archives of the developments are as follows- *PFGeneric.zip* Generic policing function based on metamorphic testings - *ShortestPath.zip* Policing function for traffic sign image recognition - *TrafficSigns.zip* Policing function for finding shortest paths program

提供机构：

University of Southampton

创建时间：

2018-07-12

Rodin Developments for Formal Policing Functions based on Metamorphic Relations

资源简介：

相关数据集