default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th FESCA@ETAPS 2007: Braga, Portugal
- 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 - Juliana Küster Filipe Bowles
, Iman Poernomo, Ralf H. Reussner:
Preface. 1-2 - Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields:
A True-Concurrent Interpretation of Behavioural Scenarios. 3-22 - Samuel Colin, Arnaud Lanoix, Jeanine Souquières:
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. 23-35 - Julia Padberg, Hartmut Ehrig, Fernando Orejas:
Towards Component Verification in the Generic Component Framework. 37-53 - Tomas Matousek, Pavel Jezek:
DeSpec: Modeling the Windows Driver Environment. 55-69 - Peter Szulman:
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems. 71-85 - Marieke Huisman, Dilian Gurov:
Composing Modal Properties of Programs with Procedures. 87-101 - Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg:
A Formal Semantics for a Quality of Service Contract Language. 103-120 - 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.
last updated on 2025-02-25 23:35 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:
