Gå direkt till innehållet
Formal Methods for Components and Objects
Spara

Formal Methods for Components and Objects

The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures;
Undertitel
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Upplaga
2012
ISBN
9783642252709
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-12-12
Sidor
393