![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
4th 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.