Events Search and Views Navigation
5:00 pm
Static Analysis and Verification of Embedded and Cyber-Physical Systems
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 »