Institute for
HSR

Aktuelle News

30.03.2015
Prof. Dr. Farhad Mehta spricht am Technologie Forum Zug

Prof. Dr. Farhad Mehta spricht am 29.4.2015 am Technologie Forum Zug. Sein Vortrag “Das Streben nach Korrektheit” gibt einen Überblick über die verschiedenen Techniken, die bei der Sicherstellung der Korrektheit rechnerbasierten Systeme Unterstützung bieten.

 

Für mehr Information:

 

www.technologieforumzug.ch/index.php