|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Single Complete Relational Rule for Coalgebraic Refinement |
Rodrigues, César J. |
2009 |
259 | C |
p. 3-19 17 p. |
artikel |
|
| 2 | Data Refinement of Invariant Based Programs |
Preoteasa, Viorel |
2009 |
259 | C |
p. 143-163 21 p. |
artikel |
|
| 3 | Data Refinement with Probability in Mind |
Rabehaja, T.M. |
2009 |
259 | C |
p. 165-176 12 p. |
artikel |
|
| 4 | Diagrammatic Formal Specification of a Configuration Control Platform |
Howse, John |
2009 |
259 | C |
p. 87-104 18 p. |
artikel |
|
| 5 | Formalizing a Hierarchical File System |
Hesselink, Wim H. |
2009 |
259 | C |
p. 67-85 19 p. |
artikel |
|
| 6 | Guarded Operations, Refinement and Simulation |
Reeves, Steve |
2009 |
259 | C |
p. 177-191 15 p. |
artikel |
|
| 7 | How to Brew-up a Refinement Ordering |
Morgan, Carroll |
2009 |
259 | C |
p. 123-141 19 p. |
artikel |
|
| 8 | Of wlp and CSP |
Dunne, Steve |
2009 |
259 | C |
p. 35-45 11 p. |
artikel |
|
| 9 | Preface |
Boiten, Eerke |
2009 |
259 | C |
p. 1- 1 p. |
artikel |
|
| 10 | Proving Quicksort Correct in Event-B |
Hallerstede, Stefan |
2009 |
259 | C |
p. 47-65 19 p. |
artikel |
|
| 11 | Refinement by Interpretation in a General Setting |
Martins, Manuel A. |
2009 |
259 | C |
p. 105-121 17 p. |
artikel |
|
| 12 | Refining Emergent Properties |
Sanders, J.W. |
2009 |
259 | C |
p. 207-223 17 p. |
artikel |
|
| 13 | Relational Concurrent Refinement: Automata |
Derrick, John |
2009 |
259 | C |
p. 21-34 14 p. |
artikel |
|
| 14 | Static Class Elements for Object-Z |
Ruhroth, Thomas |
2009 |
259 | C |
p. 193-205 13 p. |
artikel |
|
| 15 | Supporting ArcAngel in ProofPower |
Zeyda, Frank |
2009 |
259 | C |
p. 225-243 19 p. |
artikel |
|
| 16 | Towards Formally Specifying and Verifying Transactional Memory |
Doherty, Simon |
2009 |
259 | C |
p. 245-261 17 p. |
artikel |
16 gevonden resultaten