|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | ASAP: A Source Code Authorship Program |
Tennyson, Matthew F. |
2019 |
21 | 4 |
p. 471-484 |
artikel |
|
| 2 | Comparing approaches for model-checking strategies under imperfect information and fairness constraints |
Busard, Simon |
2018 |
21 | 4 |
p. 449-469 |
artikel |
|
| 3 | Complementary test selection criteria for model-based testing of security components |
Botella, Julien |
2018 |
21 | 4 |
p. 425-448 |
artikel |
|
| 4 | Fast detection of concurrency errors by state space traversal with randomization and early backtracking |
Parízek, Pavel |
2018 |
21 | 4 |
p. 365-400 |
artikel |
|
| 5 | Parallel reachability analysis of hybrid systems in XSpeed |
Gurung, Amit |
2018 |
21 | 4 |
p. 401-423 |
artikel |
5 gevonden resultaten