Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/mpgon/viaverde

Last synced: 2 days ago
JSON representation

Host: GitHub
URL: https://github.com/mpgon/viaverde
Owner: mpgon
Created: 2014-11-20T10:33:44.000Z (about 10 years ago)
Default Branch: master
Last Pushed: 2014-12-23T00:00:28.000Z (about 10 years ago)
Last Synced: 2024-11-11T04:08:55.995Z (about 1 month ago)
Size: 926 KB
Stars: 0
Watchers: 3
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        ViaVerde (GreenWay system)

========

Project developed in the context of the Computer Science class of Formal Methods, in which VDM++ is used to model the portuguese system ViaVerde(GreenWay).

Report: https://www.writelatex.com/1845107cdsjzx