News

Guest Appearance by Kim Larsen tomorrow morning

Written on 26.09.2018 18:56 by Holger Hermanns

Liebe Studierende,

we are expecting a guest appearance of Kim Guldstrand Larsen, the man behind UPPAAL, tomorrow (September 27) during the morning session in our hall 001 of E1 3. 

He will present the new functionalities of UPPAAL regarding statistical model checking for space applications.

See you,
   Holger and Juan

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators