nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Can Refinement be Automated?
|
Höfner, Peter |
|
2008 |
201 |
C |
p. 197-222 26 p. |
artikel |
2 |
Constructing and Reasoning About Security Protocols Using Invariants
|
Mooij, Arjan J. |
|
2008 |
201 |
C |
p. 99-126 28 p. |
artikel |
3 |
On the Refinement of Atomic Actions
|
Banach, Richard |
|
2008 |
201 |
C |
p. 3-30 28 p. |
artikel |
4 |
Power Aware System Refinement
|
Tuominen, Johanna |
|
2008 |
201 |
C |
p. 223-253 31 p. |
artikel |
5 |
Preface
|
Boiten, Eerke |
|
2008 |
201 |
C |
p. 1- 1 p. |
artikel |
6 |
Reduction and Refinement
|
Boiten, Eerke |
|
2008 |
201 |
C |
p. 31-44 14 p. |
artikel |
7 |
Refinement Algebra for Probabilistic Programs
|
Meinicke, Larissa |
|
2008 |
201 |
C |
p. 177-195 19 p. |
artikel |
8 |
Refinement in the Presence of Unknowns
|
Wehrheim, Heike |
|
2008 |
201 |
C |
p. 255-264 10 p. |
artikel |
9 |
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
|
Ogata, Kazuhiro |
|
2008 |
201 |
C |
p. 127-154 28 p. |
artikel |
10 |
Towards the Formal Verification of a Java Processor in Event-B
|
Evans, Neil |
|
2008 |
201 |
C |
p. 45-67 23 p. |
artikel |
11 |
Trace-based Derivation of a Lock-Free Queue Algorithm
|
Groves, Lindsay |
|
2008 |
201 |
C |
p. 69-98 30 p. |
artikel |
12 |
Using Model Checking to Automatically Find Retrieve Relations
|
Derrick, John |
|
2008 |
201 |
C |
p. 155-175 21 p. |
artikel |