Login / Signup
Usit Duongsaa
Publication Activity (10 Years)
Years Active: 2005-2006
Publications (10 Years): 0
</>
Publications
</>
John Regehr
,
Usit Duongsaa
Deriving abstract transfer functions for analyzing embedded software.
LCTES
(2006)
John Regehr
,
Usit Duongsaa
Preventing interrupt overload.
LCTES
(2005)