OUTIL D'EVALUATION DE LA SURETE DE FONCTIONNEMENT
PAR CHAINES DE MARKOV
ET RESEAUX DE PETRI STOCHASTIQUES
Une licence d'utilisation est concédée par le LAAS-CNRS aux conditions suivantes:
Contacts
Une version de démonstration (nombre limité de places/états) est disponible. Cette version a toutes les fonctionnalités de la version commerciale de SURF-2 mais ne permet pas de construire un modèle de plus de 10 places ou 10 états.