|
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 | A Denotational Approach to the Static Analysis of Cryptographic Processes |
Aziz, Benjamin |
2005 |
118 | C |
p. 19-36 18 p. |
artikel |
|
| 2 | A Trace Logic for Local Security Properties |
Corin, Ricardo |
2005 |
118 | C |
p. 129-143 15 p. |
artikel |
|
| 3 | Compositional Properties of Sequential Processes |
Zhan, Naijun |
2005 |
118 | C |
p. 111-128 18 p. |
artikel |
|
| 4 | Equational Abstractions for Model Checking Erlang Programs |
Noll, Thomas |
2005 |
118 | C |
p. 145-162 18 p. |
artikel |
|
| 5 | Insights to Angluin's Learning |
Berg, Therese |
2005 |
118 | C |
p. 3-18 16 p. |
artikel |
|
| 6 | Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking |
Gnesi, S. |
2005 |
118 | C |
p. 57-70 14 p. |
artikel |
|
| 7 | Preface |
Etalle, Sandro |
2005 |
118 | C |
p. 1- 1 p. |
artikel |
|
| 8 | Provably Correct Code Generation: A Case Study |
Wang, Qian |
2005 |
118 | C |
p. 87-109 23 p. |
artikel |
|
| 9 | Verification of Scenario-based Specifications using Templates |
Palshikar, Girish Keshav |
2005 |
118 | C |
p. 37-55 19 p. |
artikel |
|
| 10 | Verifying a UMTS Protocol Using Spin and EASN |
Luukkainen, Matti |
2005 |
118 | C |
p. 71-85 15 p. |
artikel |
10 gevonden resultaten