Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
project1		project1
project2		project2
project3		project3
README.md		README.md

Repository files navigation

mit-MBA-projects

MBA - Model-Based Analysis

Obtained points:

project1: 9.8/10
project2: 10/10
project3: 9/10

About

MBA - Model-Based Analysis

www.fit.vut.cz/study/course/MBA/.en

prism uppaal vut-fit model-based-analysis netlab

Report repository

Releases

No releases published

Packages

No packages published