Title: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Subjects: Systems engineering, Engineering, Computer simulation, Computer science, Software engineering, Automatic control, Real-time control, Embedded computer systems