'André Platzer' trends

Domains containing the tag 'André Platzer'

Bounce ratePages / VisitVisit duration

1lfcps.org
André Platzer @ Karlsruhe Institute of Technology
André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.

47.27 2.52 00:45

2symbolaris.com
André Platzer @ Karlsruhe Institute of Technology
André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.

n/a 0.00 n/a