Virtual integrated development environment for the components design of eco-friendly vehicle
Virtual Development of Engine ECU by Modeling Technology
Unsettled Legal Issues Facing Data in Autonomous, Connected, Electric, and Shared Vehicles
Traffic Information Integration Based on Agent and Service Bus
TOYOTA MBD initiatives for engine control design
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
The use of JSD on the Spearfish system (heavyweight torpedo)
The LAVI avionics development methodology
The Green Bus Overload Prevention Device Based on the Resistance Strain Sensor
The Design and Application of the All-Digital Flight Simulation Platform
The Combination of Virtual and Reality on Road Design
The Cognitive Interaction Toolkit – Improving Reproducibility of Robotic Systems Experiments
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
System security in the Space Flight Operations Center
Study of Travel Time Prediction by Using Online ATIS and Probe Vehicle in Beijing