A Model-Driven Approach for Validating Safe Adaptive Behaviors

Mahmoud Hussein, Reda Nouacer, Ansgar Radermacher. A Model-Driven Approach for Validating Safe Adaptive Behaviors. In Paris Kitsos, editor, 2016 Euromicro Conference on Digital System Design, DSD 2016, Limassol, Cyprus, August 31 - September 2, 2016. pages 75-81, IEEE Computer Society, 2016. [doi]

Authors

Mahmoud Hussein

This author has not been identified. Look up 'Mahmoud Hussein' in Google

Reda Nouacer

This author has not been identified. Look up 'Reda Nouacer' in Google

Ansgar Radermacher

This author has not been identified. It may be one of the following persons: Look up 'Ansgar Radermacher' in Google