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)

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]

Abstract

Abstract is missing.