|
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 uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata |
Bauer, K. |
2010 |
13 | 3 |
p. 273-287 |
artikel |
|
| 2 | Automatic boosting of cross-product coverage using Bayesian networks |
Baras, Dorit |
2010 |
13 | 3 |
p. 247-261 |
artikel |
|
| 3 | Evaluating workloads using comparative functional coverage |
Adler, Yoram |
2010 |
13 | 3 |
p. 207-221 |
artikel |
|
| 4 | Iterative delta debugging |
Artho, Cyrille |
2010 |
13 | 3 |
p. 223-246 |
artikel |
|
| 5 | Preface |
Chockler, Hana |
2011 |
13 | 3 |
p. 201-205 |
artikel |
|
| 6 | Reducing the size of resolution proofs in linear time |
Bar-Ilan, Omer |
2010 |
13 | 3 |
p. 263-272 |
artikel |
6 gevonden resultaten