default search action

combined dblp search
author search
venue search
publication search

ask others

11. FMCO 2012: Bertinoro, Italy

> Home > Conferences and Workshops > FMCO

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fmco/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/2012
Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Lecture Notes in Computer Science 7866, Springer 2013, ISBN 978-3-642-40614-0
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Hahnle12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Hahnle12
Reiner Hähnle:
The Abstract Behavioral Specification Language: A Tutorial Introduction. 1-37
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DoorenCJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DoorenCJ12
Marko van Dooren, Dave Clarke, Bart Jacobs:
Subobject-Oriented Programming. 38-82
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/KurniaP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/KurniaP12
Ilham W. Kurnia, Arnd Poetzsch-Heffter:
Verification of Open Concurrent Object Systems. 83-118
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/AlbertAACFGGMPRRZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/AlbertAACFGGMPRRZ12
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini:
Automatic Inference of Bounds on Resource Consumption. 119-144
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Johnsen12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Johnsen12
Einar Broch Johnsen:
Separating Cost and Capacity for Load Balancing in ABS Deployment Models. 145-167
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/IssarnyB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/IssarnyB12
Valérie Issarny, Amel Bennaceur:
Composing Distributed Systems: Overcoming the Interoperability Challenge. 168-196
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/GadyatskayaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/GadyatskayaM12
Olga Gadyatskaya, Fabio Massacci:
Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract. 197-215
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/CosmoTZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/CosmoTZ12
Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
Formal Aspects of Free and Open Source Software Components - A Short Survey. 216-239

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.