Analysis of CPS simulation models driven by formal specifications

Aktivität: Vortrag ohne Tagungsband / Vorlesung › Eingeladener Vortrag bei Industrie oder öffentlicher Einrichtung