Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / stefanomarrone / performingrail
This repository constitutes the modelling baseline for the WP2 of the PerformingRail EU project.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stefanomarrone%2Fperformingrail
Stars: 2
Forks: 0
Open Issues: 2
License: None
Language: D
Repo Size: 103 MB
Dependencies:
0
Created: almost 3 years ago
Updated: 12 months ago
Last pushed: over 1 year ago
Last synced: 4 months ago
Topics: etcs-l3, formal-methods, mobius, railway-signal-controller, sysml, uppaal
Files
No dependencies found