Pierre-Loïc Garoche · 2 obras en el catálogoObrasFormal Verification of Control System SoftwareDDistributed Control for Cyber-Physical SystemsDistributed Control for Cyber-Physical Systems