Siirry suoraan sisältöön
Formal Methods for Components and Objects
Tallenna

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;
Alaotsikko
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Painos
2012
ISBN
9783642252709
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
12.12.2011
Sivumäärä
393