nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Adaptive Verification using Forced Simulation
|
Sinha, Roopak |
|
2005 |
141 |
3 |
p. 171-197 27 p. |
artikel |
2 |
A Formal Approach for Analysis and Testing of Reliable Embedded Systems
|
Guerrouat, Abdelaziz |
|
2005 |
141 |
3 |
p. 91-106 16 p. |
artikel |
3 |
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems
|
Carlson, Jan |
|
2005 |
141 |
3 |
p. 107-121 15 p. |
artikel |
4 |
Inconsistency Management and View Updates
|
Menon, Catherine |
|
2005 |
141 |
3 |
p. 27-51 25 p. |
artikel |
5 |
Modelling Component Behaviour with Concurrent Automata
|
Moschoyiannis, Sotiris |
|
2005 |
141 |
3 |
p. 199-220 22 p. |
artikel |
6 |
Modelling the GSM Handover Protocol in CommUnity
|
Oliveira, Cristóvão |
|
2005 |
141 |
3 |
p. 3-25 23 p. |
artikel |
7 |
Modular Architectural Representation and Analysis of Fault Propagation and Transformation
|
Wallace, Malcolm |
|
2005 |
141 |
3 |
p. 53-71 19 p. |
artikel |
8 |
Object-Oriented Connector-Component Architectures
|
Ehrig, H. |
|
2005 |
141 |
3 |
p. 123-151 29 p. |
artikel |
9 |
Parametric Performance Contracts for QML-specified Software Components
|
Firus, Viktoria |
|
2005 |
141 |
3 |
p. 73-90 18 p. |
artikel |
10 |
Preface
|
Küster-Filipe, Juliana |
|
2005 |
141 |
3 |
p. 1-2 2 p. |
artikel |
11 |
Towards formalising AADL in Proof Assistants
|
Bodeveix, Jean-Paul |
|
2005 |
141 |
3 |
p. 153-169 17 p. |
artikel |