Analyse de ressources pour les systèmes concurrents dynamiques
Durant leur exécution, les systèmes concurrents manipulent diverses ressources dynamiques en nombre : fichiers, liens de communication, mémoire, etc. Les propriétés comportementales de ces systèmes sont alors étroitement liées aux manipulations de ces ressources qu'ils allouent, utilisent, puis...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016PA066520/document |