Show Menu
Hide Menu
Le LIP6
À propos
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
Programmes et Équipements Prioritaires de Recherche
Laboratoires Communs
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Emplois
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Annuaire
REMY Pascal
Doctorant à Sorbonne Université -
ASIM
https://www.lip6.fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=45
Direction de recherche
: Alain GREINER
Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d'abstraction fonctionnelle
Soutenance
: 15/12/1997
Date de départ : 01/01/1998
Publications 1997
Toutes
Communications
Soutenance de thèse
1997
P. Remy
: “
Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d’abstraction fonctionnelle
”, soutenance de thèse, soutenance 15/12/1997, direction de recherche Greiner, Alain (1997)
P. Remy, Ph. Royannez, A. Amara
: “
A GaAs electrical rule checker
”, X Simposio Brasileiro de Concepcao de Circuitos Integrados (SBCCI '97), Gramado, Brazil, pp. 1-10 (1997)