Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
Verifisert e-postadresse på fbk.eu
Sitert av 25219
Formal Verification Model Checking SMT Automated Planning FDIR
Sascha Müller

Sascha Müller

Doktorand, DLR
Verifisert e-postadresse på dlr.de
Sitert av 71
Formal Methods FDIR
Pierre-Julien CHAINE

Pierre-Julien CHAINE

Onera
Verifisert e-postadresse på onera.fr
Sitert av 50
Time Sensitive Networking TSN AVB Ethernet FDIR
Soo-Yeon Kang

Soo-Yeon Kang

Korea Aerospace Research Institute
Verifisert e-postadresse på kari.re.kr
Sitert av 22
Satellite Flight Software Embedded FDIR
Ilario Cantiello

Ilario Cantiello

European Space Agency
Verifisert e-postadresse på esa.int
Sitert av 10
Spacecraft Engineering AOCS GNC FDIR Hypersonic Aerodynamics
Tamer Sayed

Tamer Sayed

Professor Of spacecraft testing,MTC
Sitert av 1
spacecraft aerospaace fault detection FDIR
Husain Pasokhi

Husain Pasokhi

Ph.D. Student of Railway Control and Signalling , Iran University of Science and Technology
Verifisert e-postadresse på rail.iust.ac.ir
FDIR Satellite Based Train Control Discrete Event System Control Supervisory Control