2000 | ||
---|---|---|
2 | EE | William Majurski, Alden Dima, Mary Laamanen: Flits: Pervasive Computing for Processor and Memory Constrained Systems. ICPP Workshops 2000: 31-38 |
1998 | ||
1 | EE | Paul Ammann, Paul E. Black, William Majurski: Using Model Checking to Generate Tests from Specifications. ICFEM 1998: 46- |
1 | Paul Ammann | [1] |
2 | Paul E. Black | [1] |
3 | Alden Dima | [2] |
4 | Mary Laamanen | [2] |