Back to Results
First PageMeta Content
Electronic design automation / Cyber-physical system / Embedded system / Verification / Software verification / Software / Logic simulation / Electronic engineering / Software testing / Logic design


Document Date: 2011-02-18 18:19:23

Open Document

File Size: 584,25 KB

Share Result on Facebook

Company

General Electric / Chrysler / Daimler / Cyber-Physical Cyber-Physical Systems Systems / Kuka Robotics Corp. / Models Application Software Systems Software / Embedded Embedded Software / Siemens / /

IndustryTerm

software system / Software-in-the-loop simulation / singlecore processor / open source software / brake-by-wire software / physical physical systems systems / software verification / energy / /

Organization

UC Berkeley / /

Person

Doug Schmidt Courtesy / /

Position

Assistant Professor EECS / Challenge Challenge Sanjit A. Seshia Assistant / /

Product

iPhone / /

TVStation

WCET / /

Technology

simulation / Operating System / RSA encryption / singlecore processor / /

SocialTag