Synthesis of observers for autonomic evolutionary systems from requirements models.

Jan-Philipp Steghfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif

Browse the full IM paper archive.