default search action

combined dblp search
author search
venue search
publication search

ask others

7th FESCA@ETAPS 2010: Paphos, Cyprus

> Home > Conferences and Workshops > FESCA
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/fesca/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fesca/2010
Jens Happe, Barbora Buhnova:
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2010, Paphos, Cyprus, March 27, 2010. Electronic Notes in Theoretical Computer Science 264(1), Elsevier 2010
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HappeB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HappeB10
Jens Happe, Barbora Buhnova:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BroschGKK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BroschGKK10
Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone Krug:
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations. 3-17
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CamaraMSCP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CamaraMSCP10
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel:
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. 19-34
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HenrioK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HenrioK10
Ludovic Henrio, Muhammad Uzair Khan:
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. 35-53
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JezekBS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JezekBS10
Kamil Jezek, Premek Brada, Petr Stepan:
Towards Context Independent Extra-functional Properties Descriptor for Components. 55-71
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KapovaB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KapovaB10
Lucia Kapová, Steffen Becker:
Systematic Refinement of Performance Models for Concurrent Component-based Systems. 73-90
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LazarMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LazarMP10
Ioan Lazar, Simona Motogna, Bazil Pârv:
Behaviour-Driven Development of Foundational UML Components. 91-105
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LeeD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LeeD10
Matias David Lee, Pedro R. D'Argenio:
Describing Secure Interfaces with Interface Automata. 107-123
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MayerSB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MayerSB10
Philip Mayer, Andreas Schroeder, Sebastian S. Bauer:
A Strict-Observational Interface Theory for Analysing Service Orchestrations. 125-139

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.