Aimee Borda -

Registered user since Thu 8 Mar 2018

Name: Aimee Borda

Country: Ireland

Affiliation: Trinity College Dublin

Personal website: https://www.scss.tcd.ie/~bordaa/

Research interests: Verification, Self-Adaptive Systems

Contributions

SEAMS 2018	Author of Compositional Verification of Self-Adaptive Cyber-Physical Systems within the SEAMS 2018-track