Show Menu
Hide Menu
Laboratorio de Ciencias de la Computación
Discurso del Director
Organigrama
organización del LIP6
Dirección
Servicios Administrativos
IT Service
Comité científico
Comité para el laboratorio
Consejo de dirección
Teaching
Cómo llegar
Búsqueda
Axes & Teams
Publicaciones
Proyectos
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Memoria Anual
Valuación
Our skills
Works with us
Softwares
Patentes
Start-ups
Empleos
Directorio de personal
coloquio
🔒
📫
🇪🇸
🇫🇷
🇬🇧
🇪🇸
-
Computer Science Laboratory
Búsqueda
Publicaciones
Research reports
equipos actuales :
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MOCAH
MoVe
NPA
PEQUAN
PolSys
QI
RO
SMA
SYEL
LIP6
X. Blanc, M.‑P. Gervais, R. Le‑Delliou
: “
Using the UML Language to Express the ODP Enterprise Concepts
”, [Blanc 1999b]
J.‑F. Dauchez, M.‑P. Gervais
: “
Specifying and verifying the behavior of telecommunications services
”, [Dauchez 1999]
S. Haddad, D. Poitrenaud
: “
Decidability and Undecidability Results for Recursive Petri Nets
”, [Haddad 1999a]
L. Seinturier, L. Duchien
: “
Observation of Distributed Computations: a Reflective Approach for CORBA
”, [Seinturier 1999c]