|
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 formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system |
Jeannin, Jean-Baptiste |
2016 |
19 | 6 |
p. 717-741 |
artikel |
|
| 2 | AutoProof: auto-active functional verification of object-oriented programs |
Furia, Carlo A. |
2016 |
19 | 6 |
p. 697-716 |
artikel |
|
| 3 | RAMBUTANS: automatic AOP-specific test generation tool |
Parizi, Reza Meimandi |
2016 |
19 | 6 |
p. 743-761 |
artikel |
|
| 4 | Some advances in tools and algorithms for the construction and analysis of systems |
Baier, Christel |
2017 |
19 | 6 |
p. 649-652 |
artikel |
|
| 5 | Sylvan: multi-core framework for decision diagrams |
Dijk, Tom van |
2016 |
19 | 6 |
p. 675-696 |
artikel |
|
| 6 | Variations on parallel explicit emptiness checks for generalized Büchi automata |
Renault, E. |
2016 |
19 | 6 |
p. 653-673 |
artikel |
|
| 7 | VerifyThis 2015 |
Huisman, Marieke |
2016 |
19 | 6 |
p. 763-771 |
artikel |
7 gevonden resultaten