This is a model realisation of future mpOTR project, for coursework and diploma
-
Updated
Apr 26, 2015 - C
This is a model realisation of future mpOTR project, for coursework and diploma
This is working repo for mpOTR security analysis using Maude-NPA. A Diploma project
Add a description, image, and links to the mpotr topic page so that developers can more easily learn about it.
To associate your repository with the mpotr topic, visit your repo's landing page and select "manage topics."