Simon Stuker. Définition et exploration des propriétés formelles des logiciels auto-organisateurs à fonctionnalité émergente. (Definition and exploration of formal properties of auto-organising software with emerging functionnalities). PhD thesis, Paul Sabatier University, Toulouse, France, 2014. [doi]
@phdthesis{hal-1714,
title = {Définition et exploration des propriétés formelles des logiciels auto-organisateurs à fonctionnalité émergente. (Definition and exploration of formal properties of auto-organising software with emerging functionnalities)},
author = {Simon Stuker},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01117928},
researchr = {https://researchr.org/publication/hal-1714},
cites = {0},
citedby = {0},
school = {Paul Sabatier University, Toulouse, France},
}