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