|
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 | An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing |
Gupta, Atul |
2007 |
10 | 2 |
p. 145-160 |
artikel |
|
| 2 | A negative result on depth-first net unfoldings |
Esparza, Javier |
2007 |
10 | 2 |
p. 161-166 |
artikel |
|
| 3 | Efficient guided symbolic reachability using reachability expressions |
Thomas, Dina |
2008 |
10 | 2 |
p. 113-129 |
artikel |
|
| 4 | Exploiting traces in static program analysis: better model checking through $${{\tt printf}}$$s |
Groce, Alex |
2007 |
10 | 2 |
p. 131-144 |
artikel |
|
| 5 | Improving state class constructions for CTL* model checking of time Petri nets |
Hadjidj, Rachid |
2007 |
10 | 2 |
p. 167-184 |
artikel |
|
| 6 | Improving the effectiveness of system verification |
Hermanns, Holger |
2007 |
10 | 2 |
p. 111-112 |
artikel |
|
| 7 | ProB: an automated analysis toolset for the B method |
Leuschel, Michael |
2007 |
10 | 2 |
p. 185-203 |
artikel |
7 gevonden resultaten