Events

e281
June 19, 2014BSc Presentation: Verification engineering project presentation
Room: Hal B, room 2FBSc students
9:00-10:30

 

In the project course Verification Engineering, several bachelor students have applied
formal specification, verification, and testing techniques to the modelling of rather
complex, safety-critical distributed systems. 
You are invited as critical audience to their final presentations on