|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automated Verification of Signalling Principles in Railway Interlocking Systems |
Kanso, Karim |
2009 |
250 | 2 |
p. 19-31 13 p. |
artikel |
|
| 2 | Compositional CSP Traces Refinement Checking |
Wehrheim, Heike |
2009 |
250 | 2 |
p. 135-151 17 p. |
artikel |
|
| 3 | CSP-CASL-Prover: A Generic Tool for Process and Data Refinement |
O'Reilly, Liam |
2009 |
250 | 2 |
p. 69-84 16 p. |
artikel |
|
| 4 | Light-Weight SMT-based Model Checking |
Ghilardi, Silvio |
2009 |
250 | 2 |
p. 85-102 18 p. |
artikel |
|
| 5 | On Refinement-Closed Security Properties and Nondeterministic Compositions |
Murray, Toby |
2009 |
250 | 2 |
p. 49-68 20 p. |
artikel |
|
| 6 | Preface |
Miller, Alice |
2009 |
250 | 2 |
p. 1-2 2 p. |
artikel |
|
| 7 | PVS Embedding of cCSP Semantic Models and Their Relationship |
Ripon, Shamim H. |
2009 |
250 | 2 |
p. 103-118 16 p. |
artikel |
|
| 8 | The Stable Revivals Model in CSP-Prover |
Samuel, D. Gift |
2009 |
250 | 2 |
p. 119-134 16 p. |
artikel |
|
| 9 | Vector Symmetry Reduction |
Donaldson, Alastair F. |
2009 |
250 | 2 |
p. 3-18 16 p. |
artikel |
|
| 10 | Verifying Communication Protocols Using Live Sequence Chart Specifications |
Kumar, Rahul |
2009 |
250 | 2 |
p. 33-48 16 p. |
artikel |
10 gevonden resultaten