|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A low-level memory model and an accompanying reachability predicate |
Chatterjee, Shaunak |
2009 |
11 | 2 |
p. 105-116 |
artikel |
|
| 2 | An abstraction-based decision procedure for bit-vector arithmetic |
Bryant, Randal E. |
2009 |
11 | 2 |
p. 95-104 |
artikel |
|
| 3 | Automated implementation of complex distributed algorithms specified in the IOA language |
Georgiou, Chryssis |
2008 |
11 | 2 |
p. 153-171 |
artikel |
|
| 4 | Decision-diagram-based techniques for bounded reachability checking of asynchronous systems |
Yu, Andy Jinqing |
2009 |
11 | 2 |
p. 117-131 |
artikel |
|
| 5 | Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification |
Huth, Michael |
2009 |
11 | 2 |
p. 85-94 |
artikel |
|
| 6 | The worst-case execution time tool challenge 2006 |
Tan, Lili |
2009 |
11 | 2 |
p. 133-152 |
artikel |
6 gevonden resultaten