Le moteur de recherche
des thèses françaises
Éric Jenn
IdRefMots clés
FR |
EN
Réseaux de Petri Temporels
Symétries
Modélisation formelle
Vérification formelle
Avionique
Réseaux de Petri
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
Modèles mathématiques
Processeur à beaucoup de cœurs
Déterminisme
Parallélisation automatique
Description VHDL RTL
FPGA