Statistics
Publications
1
Citations
23
H-Index
1
Active since
2018
Affiliations
The Open University(Current)
Aimee Borda is an author at The Open University specializing in model checking, formal methods, and cyber-physical systems.
Publications per year
2018–2018
1
1
Compositional verification of self-adaptive cyber-physical systems
Aimee Borda, Liliana Pasquale, Vasileios Koutavas et al. · 2018 · 23 citations · Full text
1–1 of 1