default search action

combined dblp search
author search
venue search
publication search

ask others

4th FESCA@ETAPS 2007: Braga, Portugal

> 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/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fesca/2007
Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007. Electronic Notes in Theoretical Computer Science 203(7), Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BowlesPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BowlesPR09
Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MoschoyiannisKS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MoschoyiannisKS09
Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields:
A True-Concurrent Interpretation of Behavioural Scenarios. 3-22
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ColinLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ColinLS09
Samuel Colin, Arnaud Lanoix, Jeanine Souquières:
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. 23-35
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PadbergEO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PadbergEO09
Julia Padberg, Hartmut Ehrig, Fernando Orejas:
Towards Component Verification in the Generic Component Framework. 37-53
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MatousekJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MatousekJ09
Tomas Matousek, Pavel Jezek:
DeSpec: Modeling the Windows Driver Environment. 55-69
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Szulman09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Szulman09
Peter Szulman:
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems. 71-85
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HuismanG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HuismanG09
Marieke Huisman, Dilian Gurov:
Composing Modal Properties of Programs with Procedures. 87-101
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BragaCS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BragaCS09
Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg:
A Formal Semantics for a Quality of Service Contract Language. 103-120
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MorelM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MorelM09
Lionel Morel, Louis Mandel:
Executable Contracts for Incremental Prototypes of Embedded Systems. 121-135

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.