|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A class library for implementing, testing, and debugging concurrent programs |
Carver, Richard H. |
2009 |
12 | 1 |
p. 69-88 |
artikel |
|
| 2 | A framework for robust active super tier systems |
Dolev, Shlomi |
2008 |
12 | 1 |
p. 53-67 |
artikel |
|
| 3 | Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers |
Bauer, Andreas |
2009 |
12 | 1 |
p. 23-37 |
artikel |
|
| 4 | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
Rehm, Joris |
2009 |
12 | 1 |
p. 39-51 |
artikel |
|
| 5 | Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more |
Plagge, Daniel |
2009 |
12 | 1 |
p. 9-21 |
artikel |
|
| 6 | Toward a wider use of formal methods for aerospace systems design and verification |
Ait Ameur, Yamine |
2009 |
12 | 1 |
p. 1-7 |
artikel |
6 gevonden resultaten