IN4387mcrl2Lab

Assignments for the course of IN4387 System Validation of TU Delft

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
04.Nov_updated_version		04.Nov_updated_version
04.Nov_wait4submission		04.Nov_wait4submission
14.Oct_overhaul_version		14.Oct_overhaul_version
15.Oct_updated_version		15.Oct_updated_version
XI		XI
assignment1		assignment1
assignment2		assignment2
assignment3		assignment3
assignment4		assignment4
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Provide feedback