Object-orientated registration method for surface inspection of automotive windshields
State-based risk frequency estimation of a rail traffic signal system
Latest development on the simulation of rolling contact fatigue crack growth in rails
System safety property-oriented test sequences generating method based on model checking