|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Graph Transformation |
Rensink, Arend |
2006 |
157 | 1 |
p. 39-59 21 p. |
artikel |
|
| 2 | A Semiring-based Quantitative Analysis of Mobile Systems |
Aziz, Benjamin |
2006 |
157 | 1 |
p. 3-21 19 p. |
artikel |
|
| 3 | A Z Approach in Validating ORA-SS Data Models |
Lee, Scott Uk-Jin |
2006 |
157 | 1 |
p. 95-109 15 p. |
artikel |
|
| 4 | Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic |
Chen, Donghuo |
2006 |
157 | 1 |
p. 23-38 16 p. |
artikel |
|
| 5 | Parallel Assignments in Software Model Checking |
Stokely, Murray |
2006 |
157 | 1 |
p. 77-94 18 p. |
artikel |
|
| 6 | Preface |
Mukhopadhyay, Supratik |
2006 |
157 | 1 |
p. 1- 1 p. |
artikel |
|
| 7 | WAVer: A Model Checking-based Tool to Verify Web Application Design |
Castelluccia, D. |
2006 |
157 | 1 |
p. 61-76 16 p. |
artikel |
7 gevonden resultaten