Gå direkte til innholdet
Formal Methods for Components and Objects
Spar

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;
Undertittel
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Opplag
2012
ISBN
9783642252709
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
12.12.2011
Antall sider
393