Design of Air-Breathing Electrical Propulsion Based on Cargo-Spacecraft for Replenishment
Personal Mobility Vehicle for Assisting Short-Range Transportation
Ship Speed Prediction in Real Sea Environment Using Advanced Technologies
System safety property-oriented test sequences generating method based on model checking
The experimental evaluation of the EGNOS safety-of-life services for railway signalling
Verification of quantitative requirements for GNSS-based railway applications
A novel peak power demand reduction strategy under a moving block signalling system