V - Free
Modèles formels pour l'évaluation de la sûreté de fonctionnement des
architectures logicielles d'avionique modulaire intégrée. Charles ...... Pour l'
instant, la traduction vers SMV a été effectuée manuellement mais des
traducteurs vers des model-checker et des outils d'analyses d'arbre de
défaillance sont en cours d'étude.
Autres Cours:
