IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Tue, 19 Mar 2024 14:02:50 +0100Tue, 19 Mar 2024 14:02:50 +0100en Safety and response-time analysis of an automotive accident assistance service
http://eprints.imtlucca.it/2566/
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)