Page - IP Paris
A selection of courses offered by the ASC Chair École polytechnique : Formal Methods TrackFormal Methods and Foundations of Cyber-Physical SystemsFormal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. Th…
Read more