<--- Back to Details
First PageDocument 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
Date: 2010-11-15 20:44:04
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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 642,81 KB