System safety property-oriented test sequences generating method based on model checking
Working out an incomplete cyclic train timetable for high-speed railways by computer
DIGITAL CONTACTLESS SIGNING SYSTEM FOR FLEXIBLE TOBACCO DISTRIBUTION
Bionic visual navigation control system and method thereof for autonomous aerial refueling docking
Bionic visual navigation control system and method thereof for autonomous aerial refueling docking