Lab Exercise for the VO "Computer Aided Verification"
Exercises with Verification Software
Registration about TISS Students of Studies 931, 938 are prefered. Please, subscribe the lecture 181.145, dates will appear there.
ECTS Breakdown:----------------------------------60h exercises15h presentation of exercises----------------------------------75h (3 ECTS)----------------------------------
evaluation by your written exercises