![]() |
| 2007 | ||
|---|---|---|
| 1 | EE | Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace: Towards resource-certified software: a formal cost model for time and its application to an image-processing example. SAC 2007: 1307-1314 |
| 1 | Armelle Bonenfant | [1] |
| 2 | Zezhi Chen | [1] |
| 3 | Kevin Hammond | [1] |
| 4 | Greg Michaelson | [1] |
| 5 | Andrew M. Wallace | [1] |