👤

Pierre-Loïc Garoche

2 books

Books by Pierre-Loïc Garoche

Formal Verification of Control System Software
Formal Verification of Control System Software
2019
Distributed Control for Cyber-
Distributed Control for Cyber-Physical Systems
2018