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 | Compositional Verification of Self-Adaptive Cyber-Physical Systems | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
* ICSE 2018 *-profile
View general profile
View general profile