| |
| 1997 | ||
|---|---|---|
| 2 | EE | Simon Fowler, Andy J. Wellings: Formal development of a real-time kernel. IEEE Real-Time Systems Symposium 1997: 220-229 |
| 1996 | ||
| 1 | Simon Fowler, Andy J. Wellings: Formal Analysis of a Real-Time Kernel Specification. FTRTFT 1996: 440-458 | |
| 1 | Andy J. Wellings | [1] [2] |