Logo eprints

Items where Author is "Argent-Katwala, Ashok"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: 2008
Number of items: 1.

2008

Argent-Katwala, Ashok and Clark, Allan and Foster, Howard and Gilmore, Stephen and Mayer, Philip and Tribastone, Mirco Safety and response-time analysis of an automotive accident assistance service. In: Leveraging Applications of Formal Methods, Verification and Validation. Communications in Computer and Information Science (17). Springer, pp. 191-205. (2008)

This list was generated on Sat Nov 16 00:09:53 2024 CET.