![]() | ![]() |
| 2006 | ||
|---|---|---|
| 2 | John Regehr, Usit Duongsaa: Deriving abstract transfer functions for analyzing embedded software. LCTES 2006: 34-43 | |
| 2005 | ||
| 1 | John Regehr, Usit Duongsaa: Preventing interrupt overload. LCTES 2005: 50-58 | |
| 1 | John Regehr | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page