A Model-Driven Approach for Validating Safe Adaptive Behaviors.

Mahmoud Hussein, Rda Nouacer, Ansgar Radermacher

Browse the full DSD paper archive.