|
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 combined toolset for the verification of real-time distributed systems |
Volkanov, D. Yu. |
2015 |
41 | 6 |
p. 325-335 |
artikel |
|
| 2 | Analysis of a graph by a set of automata |
Bourdonov, I. B. |
2015 |
41 | 6 |
p. 307-310 |
artikel |
|
| 3 | Automated exploit generation for stack buffer overflow vulnerabilities |
Padaryan, V. A. |
2015 |
41 | 6 |
p. 373-380 |
artikel |
|
| 4 | Encapsulation of partitioned parallelism into open-source database management systems |
Pan, C. S. |
2015 |
41 | 6 |
p. 350-360 |
artikel |
|
| 5 | Methods for automatic term recognition in domain-specific text collections: A survey |
Astrakhantsev, N. A. |
2015 |
41 | 6 |
p. 336-349 |
artikel |
|
| 6 | Projecting transition systems: Overcoming state explosion in concurrent system verification |
Kamkin, A. S. |
2015 |
41 | 6 |
p. 311-324 |
artikel |
|
| 7 | The current state of art in program obfuscations: definitions of obfuscation security |
Varnovskiy, N. P. |
2015 |
41 | 6 |
p. 361-372 |
artikel |
7 gevonden resultaten