Formal verification of an automotive scenario in service-oriented computing

Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti. Formal verification of an automotive scenario in service-oriented computing. In Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008. pages 613-622, ACM, 2008. [doi]

Abstract

Abstract is missing.