Model-Based Verification of Complex Systems

November 20, 2009, 1104 HFH

Ufuk Topcu

Abstract

seminar flyer (pdf)

Speaker's Bio