|
Research@StAndrews:FullText >
Browsing by Names Balasubramaniam, Dharini
Showing results 14 to 15 of 15
| Issue Date | Title | Author(s) | Type | | 2009 | Towards verifying correctness of wireless sensor network applications using insense and spin | Sharma, Oliver; Lewis, Jonathan; Miller, Alice; Dearle, Al; Balasubramaniam, Dharini; Morrison, Ron; Sventek, Joe | Conference item |
| 2004 | Using generative programming to visualise hypercode in complex and dynamic systems | Mickan, K; Morrison, Ronald; Kirby, Graham Njal Cameron; Balasubramaniam, Dharini; Zirintsis, E | Conference item |
Showing results 14 to 15 of 15
|