Show Menu
Hide Menu
Home
About
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Activity reports
Valorisation
Our skills
Works with us
Software
Patents
Start-ups
Jobs
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Staff directory
REMY Pascal
PhD Student at Sorbonne University -
ASIM
https://www.lip6.fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=45
Supervision
: Alain GREINER
Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d'abstraction fonctionnelle
Phd defence
: 12/15/1997
Departure date : 01/01/1998
1997 Publications
All
Communications
Thesis
1997
P. Remy
: “
Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d’abstraction fonctionnelle
”, thesis, phd defence 12/15/1997, supervision 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)