Back to Results
First PageMeta Content
Device driver / Embedded system / Multi-core processor / Electronics / Computing / Data transmission / Universal asynchronous receiver/transmitter


Correctness Proofs for Device Drivers in Embedded Systems Jianjun Duan, John Regehr School of Computing University of Utah
Add to Reading List

Document Date: 2010-10-13 12:52:05

Open Document

File Size: 871,77 KB

Share Result on Facebook

Facility

Computing University of Utah Oct. / /

IndustryTerm

much automation driver driver device device / driver device / automation driver driver device device / /

Organization

John Regehr School / University of Utah / /

Position

UART driver / arbitrator / driver / /

Technology

API / UART / /

SocialTag