150
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
144
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...