Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees
Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees
Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees
Passive Interferometric Ocean Currents Observation Synthetic Aperture Radar (PICOSAR)
Characterization of Land Cover Seasonality in Sentinel-1 Time Series Data
HICFD – Highly Efficient Implementation of CFD Codes for HPC Many-Core Architectures
Mars Regolith Properties as Constrained from HP3 Mole Operations and Thermal Measurements