default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd FESCA@ETAPS 2005: Edinburgh, UK
- 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 - Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner
, Sandeep K. Shukla:
Preface. 1-2 - Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes:
Modelling the GSM Handover Protocol in CommUnity. 3-25 - Catherine Menon, Michael Johnson, Charles Lakos:
Inconsistency Management and View Updates. 27-51 - Malcolm Wallace:
Modular Architectural Representation and Analysis of Fault Propagation and Transformation. 53-71 - Viktoria Firus, Steffen Becker, Jens Happe:
Parametric Performance Contracts for QML-specified Software Components. 73-90 - Abdelaziz Guerrouat, Harald Richter:
A Formal Approach for Analysis and Testing of Reliable Embedded Systems. 91-106 - Jan Carlson, Mikael Åkerholm:
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems. 107-121 - Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino:
Object-Oriented Connector-Component Architectures. 123-151 - Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker:
Towards formalising AADL in Proof Assistants. 153-169 - Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov:
Adaptive Verification using Forced Simulation. 171-197 - 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.
last updated on 2025-01-24 17:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
