Telecharger Cours

Section Application Domains - 2023 Inria teams activity reports

The verification of safety critical embedded software is a very important application domain for our group.



Download