S. Balakrishnan

SB

Membre de l'Acfas

Profil

Liens avec l'Acfas

Auteur·trice :

68e Congrès de l'Acfas : Une approche hiérarchique à la vérification formelle des systèmes embarqués en utilisant MDGs

Communications de S. Balakrishnan

Une approche hiérarchique à la vérification formelle des systèmes embarqués en utilisant MDGs
S. Balakrishnan
Congrès 2000
Colloque GRIAO sur la micro-électronique et l'architecture des ordinateurs
Voir toutes les communications