Tallenna
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.
- Alaotsikko
- 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
- ISBN
- 9783642170706
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 4.1.2011
- Sivumäärä
- 339
