page d'accueil   sommaire  

systèmes embarqués
Liste des unités de recherche ayant déclarés ce mot clé.


unités de recherche


Electronique embarquée [Embedded Electronics] (BEAMSEE)
Méthodes formelles et vérification [Verification and formal methods] (Verif)
Parallel Architectures for real-Time Systems [Parallel Architectures for Real-Time Systems] (PARTS)