Spara
Formal Methods for Components and Objects
The volume contains 17 revised contributions submitted after thesymposium by speakers from each of the following European IST projects: theIST-FP6 project BIONETS on biologically inspired services evolution for thepervasive age; and the IST-FP7 project QUASIMODO on quantitativesystem properties in model-driven-design of embedded systems.
- Undertitel
- 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
- ISBN
- 9783642170706
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-01-04
- Sidor
- 339
