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