Accueil
Intranet
English
Laboratoire TIMA
Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés
Laboratoire TIMA
Présentation
Actualités
Annuaires
Accès - Contacts
Organigramme
Équipes de recherche
AMfoRS
CDSI
RMS
SLS
Tutelles/structures partenaires
Tutelles
Composantes de Formation
Structures partenaires
Coopération
Contrats
Conférences
Séminaires
Coopérations internationales
Publications
Publications
Rapports d'activité
Prix et distinctions
Soutenances de thèses
Valorisation
Start-ups
Laboratoire commun
Logiciels
Outils libre service
Téléchargement de cours
Travailler à TIMA
Jobs
Stages propositions
Thèses propositions
Laboratoire TIMA
Présentation
Actualités
Annuaires
Accès - Contacts
Organigramme
Équipes de recherche
AMfoRS
Architectures and Methods for Resilient Systems
CDSI
Circuits, Devices and System Integration
RMS
Reliable RF and Mixed-signal Systems
SLS
System Level Synthesis
Tutelles/structures partenaires
Tutelles
Composantes de Formation
Structures partenaires
Coopération
Contrats
Conférences
Séminaires
Coopérations internationales
Production Scientifique
Publications
Rapports d'activité
Prix et distinctions
Soutenances de thèses
Arbre des thématiques
Plateformes expérimentales
Plateformes à TIMA
CIME Nanotech
FMNT
Valorisation
Start-ups
Laboratoire commun
Logiciels
Outils libre service
Téléchargement de cours
Travailler à TIMA
Jobs
Stages propositions
Thèses propositions
Coopération
Séminaires
< retour aux séminaires
KUMAR. R. (Dr), FZI, Karlsruhe Univ.
Theme: A formal approach to hardware synthesis
Date: 04/96