Hoang, Thai Son and Butler, Michael (2018) Rodin Developments for Formal Policing Functions based on Metamorphic Relations. University of Southampton doi:10.5258/SOTON/D0528 [Dataset]
Record type:
Dataset
Abstract
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
Text
README.md
- Dataset
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (1kB)
Archive
PFGeneric.zip
- Model
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (16kB)
Archive
ShortestPath.zip
- Model
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (40kB)
Archive
TrafficSigns.zip
- Model
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (28kB)
More information
Published date: 21 May 2018
Organisations:
Cyber Physical Systems, Faculty of Physical Sciences and Engineering
Identifiers
Local EPrints ID: 421953
URI: http://eprints.soton.ac.uk/id/eprint/421953
PURE UUID: 4c6a3060-04c1-4c6c-8554-cf446f972fd8
Catalogue record
Date deposited: 11 Jul 2018 16:30
Last modified: 10 Nov 2023 02:46
Export record
Altmetrics
Contributors
Creator:
Thai Son Hoang
Creator:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.