Working out an incomplete cyclic train timetable for high-speed railways by computer
System safety property-oriented test sequences generating method based on model checking
Suppression of vibration-induced noise in a fibre optic-based current measurement system
Supersonic Film Cooling Simulation with a DG Method (AIAA 2017-2248)
State-based risk frequency estimation of a rail traffic signal system
Scintillation analysis for multiple uplink Gaussian beams in the presence of beam wander [9142-110]