|
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 | A model checking-based approach for security policy verification of mobile systems |
Braghin, Chiara |
2010 |
23 | 5 |
p. 627-648 |
artikel |
|
| 2 | Assuring property conformance of code generators via model checking |
Jörges, Sven |
2010 |
23 | 5 |
p. 589-606 |
artikel |
|
| 3 | Building a push-button RESOLVE verifier: Progress and challenges |
Sitaraman, Murali |
2010 |
23 | 5 |
p. 607-626 |
artikel |
|
| 4 | Editorial |
Kroening, Daniel |
2011 |
23 | 5 |
p. 585-588 |
artikel |
|
| 5 | Verification of distributed systems with local–global predicates |
Chandy, K. Mani |
2010 |
23 | 5 |
p. 649-679 |
artikel |
5 gevonden resultaten