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 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile