Juan Fraire, Holger Hermanns
Guest Appearance by Kim Larsen tomorrow morning
Written: 26.09.2018 18:56
Written By: Holger Hermanns
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.
Holger and Juan