|
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 | A loop acceleration technique to speed up verification of automatically generated plans |
Goldman, Robert P. |
2013 |
16 | 1 |
p. 13-29 |
artikel |
|
| 2 | Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking |
Crampton, Jason |
2013 |
16 | 1 |
p. 31-48 |
artikel |
|
| 3 | Constraint-based BMC: a backjumping strategy |
Collavizza, Hélène |
2012 |
16 | 1 |
p. 103-121 |
artikel |
|
| 4 | Generating effective tests for concurrent programs via AI automated planning techniques |
Razavi, Niloofar |
2013 |
16 | 1 |
p. 49-65 |
artikel |
|
| 5 | Open source software-defined radio tools for education, research, and rapid prototyping |
Snyder, Jason |
2012 |
16 | 1 |
p. 67-80 |
artikel |
|
| 6 | Symbolic object code analysis |
Mühlberg, Jan Tobias |
2012 |
16 | 1 |
p. 81-102 |
artikel |
|
| 7 | Verification and validation meet planning and scheduling |
Bensalem, Saddek |
2013 |
16 | 1 |
p. 1-12 |
artikel |
7 gevonden resultaten