Formal verification of an automotive scenario in service-oriented computing.

Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti

Browse the full ICSE paper archive.