- External Associate
- Home page
2 Publications with AESOP
Conference and Workshop Papers
- Safety and Response-Time Analysis of an Automotive Accident Assistance Service
- Ashok Argent-Katwala, A Clark, Howard Foster, Stephen T. Gilmore, Philip Mayer, Mirco Tribastone
- ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
- September, 2008
- Location-Aware Quality of Service Measurements for Service-Level Agreements
![[PDF]](/images/icon-pdf-mini.png)
- Ashok Argent-Katwala, Jeremy T. Bradley, A Clark, Stephen T. Gilmore
- TGC'07, Trustworthy Global Computing
- November, 2007
Information from pubs.doc.ic.ac.uk/authors/adclark.