|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic |
Ničković, Dejan |
|
22 | 6 |
p. 741-758 |
artikel |
|
| 2 | An efficient statistical model checker for nondeterminism and rare events |
Budde, Carlos E. |
|
22 | 6 |
p. 759-780 |
artikel |
|
| 3 | Automating deductive verification for weak-memory programs (extended version) |
Summers, Alexander J. |
|
22 | 6 |
p. 709-728 |
artikel |
|
| 4 | Efficient monitoring of hyperproperties using prefix trees |
Finkbeiner, Bernd |
|
22 | 6 |
p. 729-740 |
artikel |
|
| 5 | Enabling continuous integration in a formal methods setting |
Couto, Luis Diogo |
|
22 | 6 |
p. 667-683 |
artikel |
|
| 6 | On ranking functions for single-path linear-constraint loops |
Li, Yi |
|
22 | 6 |
p. 655-666 |
artikel |
|
| 7 | The Refinement Calculus of Reactive Systems Toolset |
Dragomir, Iulia |
|
22 | 6 |
p. 689-708 |
artikel |
|
| 8 | Tools for the construction and analysis of systems |
Beyer, Dirk |
|
22 | 6 |
p. 685-687 |
artikel |
8 gevonden resultaten