Show Menu
Hide Menu
Исследовательская лаборатория по информатике
От директора
Структура управления
Структура
Дирекция
Административная служба
IT Service
Совет по науке
Совет лаборатории
Совет по науке
Teaching
Scientific Mediation
Our charters and commitments
Как нас найти
Поиск
Axes & Teams
Публикации
Проекты
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
Годовой отчет
Оценка
Our skills
Work with us
Software
Патенты
Start-ups
Справочник
коллоквиум
🔒
📫
🇷🇺
🇫🇷
🇬🇧
🇷🇺
-
Computer Science Laboratory
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
LIP6 supports the Pink October campaign for breast cancer awareness.
Справочник
REMY Pascal
Postdoc -
ASIM
https://www.lip6.fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=45
Научны(е)й руководител(и)ь
: Alain GREINER
Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d'abstraction fonctionnelle
Защита диссертаций
: 15.12.1997
Окончание контракта : 01.01.1998
Публикации 1997
All
Информационная поддержка
Thesis
1997
P. Remy
: “
Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d’abstraction fonctionnelle
”, thesis, Защита диссертаций 15.12.1997, Научны(е)й руководител(и)ь 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)