Cooperation of Model Checking and Network Simulation for Cost Analyses of Distributed Systems
Novel Oligonucleotide Carrier as Scavenger for Reactive Oxygen Species
Fault Diagnosis of Space Vehicle Guidance and Control Systems using Analytical Redundancy
Intercomparison of irradiance measurements based on WRR and ETL irradiance scales
Dielectric Properties of Mica-Alumina Combined Insulation at High Temperatures