Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xavier Thirioux
conf.researchr.org general profile
ICSE 2023 profile
Registered user since Wed 15 Mar 2023
Name:
Xavier Thirioux
Country:
France
Affiliation:
ISAE-SUPAERO
Contributions
2023
FormaliSE
Author of A Verified UAV Flight Plan Generator within the FormaliSE 2023-track
Share
x
Thu 12 Dec 14:09