Back to Results
First PageMeta Content
Electronics / Cyber-physical system / Model checking / Worst-case execution time / Embedded system / Static timing analysis / Software verification / System / Actor model / Technology / Computing / Software testing


Microsoft PowerPoint - Seshia-UsableVerif-Nov10
Add to Reading List

Document Date: 2010-11-15 20:44:04

Open Document

File Size: 642,81 KB

Share Result on Facebook

Company

General Electric / Chrysler / Daimler / Cyber-Physical Cyber-Physical Systems Systems / Kuka Robotics Corp. / Siemens / /

IndustryTerm

Software-in-the-loop simulation / open source software / Safety-critical embedded systems / brake-by-wire software / physical physical systems systems / software verification / energy / /

Organization

UC Berkeley / /

Person

Doug Schmidt Courtesy / /

Product

iPhone / /

TVStation

WCET / /

Technology

simulation / Operating System / Pipelined Processor / RSA encryption / /

SocialTag