Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler
Adresse e-mail validée de fbk.eu
Cité 24844 fois
Formal Verification Model Checking SMT Automated Planning FDIR
Sascha Müller

Sascha Müller

Doktorand, DLR
Adresse e-mail validée de dlr.de
Cité 68 fois
Formal Methods FDIR
Pierre-Julien CHAINE

Pierre-Julien CHAINE

Onera
Adresse e-mail validée de onera.fr
Cité 47 fois
Time Sensitive Networking TSN AVB Ethernet FDIR
Soo-Yeon Kang

Soo-Yeon Kang

Korea Aerospace Research Institute
Adresse e-mail validée de kari.re.kr
Cité 21 fois
Satellite Flight Software Embedded FDIR
Ilario Cantiello

Ilario Cantiello

European Space Agency
Adresse e-mail validée de esa.int
Cité 10 fois
Spacecraft Engineering AOCS GNC FDIR Hypersonic Aerodynamics
Tamer Sayed

Tamer Sayed

Professor Of spacecraft testing,MTC
Cité 1 fois
spacecraft aerospaace fault detection FDIR
Husain Pasokhi

Husain Pasokhi

Ph.D. Student of Railway Control and Signalling , Iran University of Science and Technology
Adresse e-mail validée de rail.iust.ac.ir
FDIR Satellite Based Train Control Discrete Event System Control Supervisory Control