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