Loading Events

Events for February 5, 2020

Events Search and Views Navigation

Event Views Navigation

5:00 pm

Static Analysis and Verification of Embedded and Cyber-Physical Systems

February 5, 2020 @ 5:00 pm - 6:00 pm
SR 3325, Ernst-Abbe Platz, 2
Jena, 07743 Germany
+ Google Map

Sabine Glesner (Technische Universität Berlin) part of “Distinguished Lecturer Series” Software has become a central and integral part of many systems and products of the information era. In embedded and cyber-physical systems, software is not an isolated component but instead an integrated part of larger, e.g. technical or mechanical systems. During the last decades, there […]

Find out more »
+ Export Events