IMA

CESIN · Fiabilisation déterministe des use cases

La preuve de fiabilité
Ce que le contrôle déterministe a détecté et signalé