Old Web
English
Sign In
Acemap
>
authorDetail
>
Georgios Kourtis
Georgios Kourtis
University of Manchester
Computer science
Runtime verification
Systems engineering
Modular design
Automated theorem proving
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A Review of Verification and Validation for Space Autonomous Systems
2021
Rafael C. Cardoso
Georgios Kourtis
Louise A. Dennis
Clare Dixon
Marie Farrell
Michael Fisher
Matt Webster
Show All
Source
Cite
Save
Citations (0)
1