Le moteur de recherche
des thèses françaises
Jérôme Feret
IdRefMots clés
FR |
EN
Interprétation abstraite
Analyse statique
Méthodes formelles
Informatique
Logiciels -- Vérification
Réseaux de réactions biochimiques
Réduction de modèles
Sémantique
Systèmes biologiques
Méthodes formelles (informatique)
Voies de signalisation
Modélisation par règles de réécritures
Bisimulations
Flot d’information
Programmation logique
Analyse de programmes
Systèmes embarqués critiques
Code C
Assembleur
X86