| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Formal Semantics for a Quality of Service Contract Language
|
Braga, Christiano
|
|
2009
|
203 |
7 |
p. 103-120
18 p.
|
artikel
|
| 2 |
A True-Concurrent Interpretation of Behavioural Scenarios
|
Moschoyiannis, Sotiris
|
|
2009
|
203 |
7 |
p. 3-22
20 p.
|
artikel
|
| 3 |
Composing Modal Properties of Programs with Procedures
|
Huisman, Marieke
|
|
2009
|
203 |
7 |
p. 87-101
15 p.
|
artikel
|
| 4 |
DeSpec: Modeling the Windows Driver Environment 1 1 This work was partially supported by the Czech Academy of Sciences project 1ET400300504 and the Grant Agency of the Czech Republic project GD201/05/H014.
|
Matousek, Tomas
|
|
2009
|
203 |
7 |
p. 55-69
15 p.
|
artikel
|
| 5 |
Executable Contracts for Incremental Prototypes of Embedded Systems
|
Morel, Lionel
|
|
2009
|
203 |
7 |
p. 121-135
15 p.
|
artikel
|
| 6 |
Preface
|
Küster Filipe Bowles, Juliana
|
|
2009
|
203 |
7 |
p. 1-2
2 p.
|
artikel
|
| 7 |
Towards Component Verification in the Generic Component Framework
|
Padberg, Julia
|
|
2009
|
203 |
7 |
p. 37-53
17 p.
|
artikel
|
| 8 |
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement
|
Colin, Samuel
|
|
2009
|
203 |
7 |
p. 23-35
13 p.
|
artikel
|
| 9 |
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems
|
Szulman, Peter
|
|
2009
|
203 |
7 |
p. 71-85
15 p.
|
artikel
|
Tijdschrift beschrijving