Safety & security testing of cooperative automotive systems
Execution-based Verification of AADL Models
Tower Monitoring System Based on BeiDou Navigation Technology
Security, Privacy, Identifications
Drowsiness Detection for Automotive Drivers in Real-Time
Analysis of Cyber Physical Systems Security Issue via Uncertainty Approaches
Application of Closed Circuit Television for Highway Telematics
Static Code Analysis for Automotive Software
Intelligent Traffic System Path Planning Algorithm