default search action

combined dblp search
author search
venue search
publication search

ask others

2nd FESCA@ETAPS 2005: Edinburgh, UK

> 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
  - details & citations
- export record
  dblp key:
  - conf/fesca/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fesca/2005
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(3), Elsevier 2005
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FilipePRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FilipePRS05
Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OliveiraWFL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OliveiraWFL05
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes:
Modelling the GSM Handover Protocol in CommUnity. 3-25
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MenonJL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MenonJL05
Catherine Menon, Michael Johnson, Charles Lakos:
Inconsistency Management and View Updates. 27-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Wallace05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Wallace05
Malcolm Wallace:
Modular Architectural Representation and Analysis of Fault Propagation and Transformation. 53-71
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FirusBH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FirusBH05
Viktoria Firus, Steffen Becker, Jens Happe:
Parametric Performance Contracts for QML-specified Software Components. 73-90
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GuerrouatR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GuerrouatR05
Abdelaziz Guerrouat, Harald Richter:
A Formal Approach for Analysis and Testing of Reliable Embedded Systems. 91-106
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CarlsonA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CarlsonA05
Jan Carlson, Mikael Åkerholm:
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems. 107-121
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EhrigBKOPP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EhrigBKOPP05
Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino:
Object-Oriented Connector-Component Architectures. 123-151
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BodeveixCFS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BodeveixCFS05
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker:
Towards formalising AADL in Proof Assistants. 153-169
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SinhaRK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SinhaRK05
Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov:
Adaptive Verification using Forced Simulation. 171-197
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MoschoyiannisSK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MoschoyiannisSK05
Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause:
Modelling Component Behaviour with Concurrent Automata. 199-220

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.