BSc Presentation: Verification engineering project presentation

When: June 19, 2014, 9:00-10:30

Where: Hal B, room 2F

Who: BSc students


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