Showing 1 - 3 results of 3 for search 'Platzer, André', query time: 0.01s Refine Results
  1. 1
    Logical Foundations of Cyber-Physical Systems
    by Platzer, André, Platzer, André
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
    by Platzer, André
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
    Published 2015
    Other Authors: “…Platzer, André…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search