1 - 25 of 4
| Title | Date | Type | ||
|---|---|---|---|---|
| 1 |
 | Atomicity and visibility in tiny embedded systems | 2006-01-01 | Text |
| 2 |
 | Deriving abstract transfer functions for analyzing embedded software | 2006-01-01 | Text |
| 3 |
 | Efficient type and memory safety for tiny embedded systems | 2006-01-01 | Text |
| 4 |
 | Pluggable abstract domains for analyzing embedded software | 2006-01-01 | Text |
1 - 25 of 4