Search filters

Formal verification of an automotive scenario in service-oriented computing

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description scientific article published in 2008
Author/s

author: Stefania Gnesi  Maurice H. ter Beek  Franco Mazzanti 

Publication date 2008
Language
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item