![](/img/cover-not-exists.png)
[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Formal verification of an automotive scenario in service-oriented computing
ter Beek, Maurice H., Gnesi, Stefania, Koch, Nora, Mazzanti, FrancoYear:
2008
Language:
english
DOI:
10.1145/1368088.1368173
File:
PDF, 1.29 MB
english, 2008