Le moteur de recherche
des thèses françaises
Barbara König
IdRefMots clés
FR |
EN
Preuve
Langages de programmation
Equivalences comportementales
Calculs de processus
Encodages
Bisimulation
Codage
Réécriture de graphes
Transformation de graphes
Représentation des connaissances
Piste d'audit
Bases de données orientées graphes
Bio-curation
Signalisation cellulaire
Modélisation à base de règles
Concurrence
Biologie des systèmes
Interprétation Abstraite
Biologie systémique
Réseaux de Petri