Parcourir Faculté des arts et des sciences par directeur·trice de recherche "Nicolescu, Gabriela"
Voici les éléments 1-5 de 5
-
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 ...