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
UPDATE