Specifying and validating consistent and dynamically evolving concurrent information systemsNasreddine AoumeurÉpuisé4,3Prévenez-moi
On the stepwise and disciplined engineering of adaptive service-oriented applicationsNasreddine AoumeurÉpuisé4,3Prévenez-moi
