TY  - BOOK
AU  - Giachino,Elena
AU  - Hähnle,Reiner
AU  - Boer,Frank S.de
AU  - Bonsangue,Marcello M
TI  - Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 
SN  - 9783642406157
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer logic
KW  - Mathematical logic
N1  - The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components
UR  - http://dx.doi.org/10.1007/978-3-642-40615-7
ER  -