Éric Jenn
IdRefMots clés
FR |
EN
Méthodes formelles
Langages de programmation -- Sémantique
Réseaux de Petri Temporels
Symétries
Modélisation formelle
Vérification formelle
Avionique
Petri, Réseaux de
Symétrie
Tests de conformité
Système GALS
Verification basée sur les modèles
Techniques de descriptions formelles
Sémantique opérationnelle
Concurrence
Systèmes GALS
Processeur à beaucoup de cœurs
Déterminisme
Parallélisation automatique
Description VHDL RTL