| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A cocktail protocol with the Authentication and Key Agreement on the UMTS
|
Ou, Hsia-Hung
|
|
2010
|
83 |
2 |
p. 316-325
10 p.
|
artikel
|
| 2 |
A family of code coverage-based heuristics for effective fault localization
|
Eric Wong, W.
|
|
2010
|
83 |
2 |
p. 188-208
21 p.
|
artikel
|
| 3 |
An evaluation of timed scenario notations
|
Hassine, Jameleddine
|
|
2010
|
83 |
2 |
p. 326-350
25 p.
|
artikel
|
| 4 |
Class movement and re-location: An empirical study of Java inheritance evolution
|
Nasseri, E.
|
|
2010
|
83 |
2 |
p. 303-315
13 p.
|
artikel
|
| 5 |
Computer software and applications
|
Liu, Xiaoqing (Frank)
|
|
2010
|
83 |
2 |
p. 173-
1 p.
|
artikel
|
| 6 |
Design, analysis, and deployment of omnipresent Formal Trust Model (FTM) with trust bootstrapping for pervasive environments
|
Ahamed, Sheikh I.
|
|
2010
|
83 |
2 |
p. 253-270
18 p.
|
artikel
|
| 7 |
EDGES: Efficient data gathering in sensor networks using temporal and spatial correlations
|
Min, Jun-Ki
|
|
2010
|
83 |
2 |
p. 271-282
12 p.
|
artikel
|
| 8 |
Embedded architecture description language
|
Li, Juncao
|
|
2010
|
83 |
2 |
p. 235-252
18 p.
|
artikel
|
| 9 |
Fault localization through evaluation sequences
|
Zhang, Zhenyu
|
|
2010
|
83 |
2 |
p. 174-187
14 p.
|
artikel
|
| 10 |
Formal specification of the variants and behavioural features of design patterns
|
Bayley, Ian
|
|
2010
|
83 |
2 |
p. 209-221
13 p.
|
artikel
|
| 11 |
IFC: Editorial Board
|
|
|
2010
|
83 |
2 |
p. IFC-
1 p.
|
artikel
|
| 12 |
Measuring behavioral dependency for improving change-proneness prediction in UML-based design models
|
Han, Ah-Rim
|
|
2010
|
83 |
2 |
p. 222-234
13 p.
|
artikel
|
| 13 |
Verification and validation of declarative model-to-model transformations through invariants
|
Cabot, Jordi
|
|
2010
|
83 |
2 |
p. 283-302
20 p.
|
artikel
|
Tijdschrift beschrijving