Parcourir Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires par sujet "Vérification et analyse des systèmes"
Voici les éléments 1-1 de 1
-
Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
(2011-12-01)Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ...