Spar
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.
- Undertittel
- 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
- ISBN
- 9783642170706
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 4.1.2011
- Antall sider
- 339
