Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes
L'objectif de cette thèse est d'explorer des descriptions formelles pour la structure et le fonctionnement des systèmes biologiques, ainsi que des outils formels pour raisonner au sujet de leur comportement. Cette thèse s'inscrit dans les travaux étudiant les modèles informatiques sûr...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2008INPL058N/document |