LIP6 » Recherche » Archives

Conférences et séminaires organisés depuis 2006

ALSOC

20/11/2017: Fault-Attack Aware Microprocessor Extension (FAME): From Concept to Prototype
20/11/2017: Should everything that can be done also be done?
20/05/2016: Conception d'algorithmes parallèles d'étiquetage et d'analyse en composantes connexes
15/01/2016: Application du Model-based Testing dans le projet OpenETCS (Open European train Control System)
15/03/2013: Feature Localization in Hardware Designs
15/11/2012: Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
22/03/2010: Matinée Vérification et sécurité
13/11/2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels

Mentions légales

Carte du site |