Subscribers can view annotate, and download all of SAE's content. Learn More »
Validation of Control Software Specification Using Design Interests Extraction and Model Checking
2012-01-0960
A Flexible Architecture for Rapid Prototyping System I/O and Components
2006-01-1455
A Development Method for Object-Oriented Automotive Control Software Embedded with Automatically Generated Program from Controller Models
2004-01-0709