Cargando...
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos
Perfiles
Mi perfil
Mi biblioteca
Estadísticas
Alertas
Configuración
Iniciar sesión
Iniciar sesión
Perfiles
Mi perfil
Mi biblioteca
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
한국항공우주연구원 선임연구원
Dirección de correo verificada de kari.re.kr
Citado por 12
위성
소프트웨어
임베디드
FDIR
Sascha Müller
Doktorand, DLR
Dirección de correo verificada de dlr.de
Citado por 5
Formal Methods
FDIR
Ilario Cantiello
AOCS Engineer, Airbus Defence & Space
Dirección de correo verificada de airbus.com
Citado por 4
AOCS
GNC
FDIR
Hypersonic Aerodynamics
Ayuda
Privacidad
Condiciones