Éric Jenn
IdRefMots clés
FR |
EN
Réseaux de Petri Temporels
Symétries
Modélisation formelle
Vérification formelle
Avionique
Petri, Réseaux de
Symétrie
Méthodes formelles
Langages de programmation -- Sémantique
Codes correcteurs d'erreurs (théorie de l'information)
Ordinateurs -- Fiabilité
Tolérance (technologie)
Langages de description de matériel informatique
Circuits intégrés à très grande vitesse
Processeur à beaucoup de cœurs
Déterminisme
Parallélisation automatique
Description VHDL RTL
FPGA
Microprocesseurs multi-coeurs