Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/xkrejc70/mit-mba-projects
MBA - Model-Based Analysis
https://github.com/xkrejc70/mit-mba-projects
model-based-analysis netlab prism uppaal vut-fit
Last synced: 1 day ago
JSON representation
MBA - Model-Based Analysis
- Host: GitHub
- URL: https://github.com/xkrejc70/mit-mba-projects
- Owner: xkrejc70
- Created: 2022-04-19T17:41:23.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2023-05-11T08:42:59.000Z (over 1 year ago)
- Last Synced: 2023-08-15T22:25:35.458Z (over 1 year ago)
- Topics: model-based-analysis, netlab, prism, uppaal, vut-fit
- Homepage: https://www.fit.vut.cz/study/course/MBA/.en
- Size: 2.67 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0