Alessandro Cimatti

Alessandro Cimatti

Head of Unit, Fondazione Bruno Kessler
Dirección de correo verificada de fbk.eu
Citado por 18534
Formal Verification Model Checking SMT Planning FDIR
Soo-Yeon Kang

Soo-Yeon Kang

한국항공우주연구원 선임연구원
Dirección de correo verificada de kari.re.kr
Citado por 12
위성 소프트웨어 임베디드 FDIR
Sascha Müller

Sascha Müller

Doktorand, DLR
Dirección de correo verificada de dlr.de
Citado por 5
Formal Methods FDIR
Ilario Cantiello

Ilario Cantiello

AOCS Engineer, Airbus Defence & Space
Dirección de correo verificada de airbus.com
Citado por 4
AOCS GNC FDIR Hypersonic Aerodynamics