Logical Foundations of Cyber-Physical Systems
58.84 EUR
Erforscht die formale Logik hinter vernetzten Systemen, verbindet mathematische Modelle mit realen Anwendungsfällen und zeigt, wie sichere Interaktionen zwischen Software und Hardware systematisch analysiert werden können.