bn:17223900n
Noun Concept
EN
No term available
FR
En informatique, notamment en méthode formelle, la sûreté est pour un programme le fait de ne pas sortir d'un certain ensemble d'états. Wikipedia
Sources