Verifying the adaptation behavior of embedded systems.

Klaus Schneider, Tobias Schle, Mario Trapp

Browse the full ICSE paper archive.