|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches |
Magnin, Morgan |
2006 |
144 | 3 |
p. 59-77 19 p. |
artikel |
|
| 2 | Checking Event-Based Specifications in Java Systems |
Reiss, Steven P. |
2006 |
144 | 3 |
p. 107-132 26 p. |
artikel |
|
| 3 | Error Detection in Concurrent Java Programs |
Hughes, Graham |
2006 |
144 | 3 |
p. 45-58 14 p. |
artikel |
|
| 4 | Gauss: A Framework for Verifying Scientific Computing Software |
Palmer, Robert |
2006 |
144 | 3 |
p. 95-106 12 p. |
artikel |
|
| 5 | LSC Verification for UML Models with Unbounded Creation and Destruction |
Westphal, Bernd |
2006 |
144 | 3 |
p. 133-145 13 p. |
artikel |
|
| 6 | Model Checking Linear Programs with Arrays |
Armando, Alessandro |
2006 |
144 | 3 |
p. 79-94 16 p. |
artikel |
|
| 7 | Open-Source Model Checking |
Grosu, Radu |
2006 |
144 | 3 |
p. 27-44 18 p. |
artikel |
|
| 8 | Preface |
Cook, Byron |
2006 |
144 | 3 |
p. 1-2 2 p. |
artikel |
|
| 9 | XRT– Exploring Runtime for .NET Architecture and Applications |
Grieskamp, Wolfgang |
2006 |
144 | 3 |
p. 3-26 24 p. |
artikel |
9 gevonden resultaten