Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support
Dans la conception basée sur des modèles on construit un modèle mathématique du système que l'on utilise pour concevoir le système de sorte qu'il présente les propriétés souhaitées. Pour les systèmes de sûreté critique, il peut être d'une importance capitale de vérifier ces propriétés...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2012GRENM021/document |