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: 3 months 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 (about 3 years ago)
- Default Branch: master
- Last Pushed: 2023-05-11T08:42:59.000Z (about 2 years ago)
- Last Synced: 2025-01-23T02:17:09.761Z (5 months 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