Vérification de SMA

Propriétés de cohérence

Ensemble de garanties formelles assurant la consistance des informations et comportements entre les différents agents du système. La cohérence prévient les contradictions et assure l'intégrité globale du SMA.

← Geri