Auf der Suche nach einer „Statik” für das Computerzeitalter https://www.mpg.de/9175944/mpi-sws_jb_2014?c=119452
Um sicherzustellen, dass zukünftige Technologien auch im Computerzeitalter beherrschbar bleiben, entwickeln Forscher am Max-Planck-Institut für Softwaresysteme Grundlagen für nachweisbar fehlerfreie cyber-physische Systeme.
Max Planck Institutes Auf der Suche nach einer