Parcourir Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires par directeur·trice de recherche "Bois, Guy"
Voici les éléments 1-3 de 3
-
Timing verification in transaction modeling
(2010-05-05)Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais ...