Login / Signup

Guaranteeing robustness in a mobile learning application using formally verified MAPE loops.

Didac Gil de la IglesiaDanny Weyns
Published in: SEAMS (2013)
Keyphrases