External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Maurice H. ter Beek

This author has not been identified. Look up 'Maurice H. ter Beek' in Google

Stefania Gnesi

This author has not been identified. Look up 'Stefania Gnesi' in Google

Nora Koch

This author has not been identified. It may be one of the following persons: Look up 'Nora Koch' in Google

Franco Mazzanti

This author has not been identified. Look up 'Franco Mazzanti' in Google
runs on