Tag Archives: Guy Broadfoot PhD. Doctor Alastair Donaldson

University of Twente hosts the International Workshop on Automated Verification of Critical Systems, 24 and 26 September 2014

Posted on 23, September 2014 by

Between 24 and 26 September, the University of Twente will act as host to the International Workshop on Automated Verification of Critical Systems. This event will explore the latest developments in the field of verification of critical software systems. Enschede, Netherlands, 23-9-2014 … Read the full press release →

Posted in Education, Netherlands, Security & Safety, Technology

Tagged , , , ,