pen icon Colloque
quote

La méthode assume-garantie pour la spécification des composantes de système composées de blocs de propriété intellectuelle (IP)

M. S. Jahanpour
E. Cerny
MS

Membre a labase

M. S. Jahanpour : Université de Montréal

Contexte

Section :
Colloque GRIAO sur la micro-électronique et l'architecture des ordinateurs
news icon Thème du colloque :
Colloque GRIAO sur la micro-électronique et l'architecture des ordinateurs
manager icon Responsables :
El Mostapha Aboulhamid
host icon Hôte : Université de Montréal

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Colloque GRIAO sur la micro-électronique et l'architecture des ordinateurs
Un outil hybride pour la vérification formelle de circuits
S. Kort
Synthèse des communications logiciel/logiciel et logiciel/matériel selon le standard VSI
G. Cyr
Picasso : un outil de co-design logiciel/matériel
Y. Héneault
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Colloque GRIAO sur la micro-électronique et l'architecture des ordinateurs
La méthode assume-garantie pour la spécification des composantes de système composées de blocs de p…
M. S. Jahanpour