|
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 | Backward compatibility of software interfaces: Steps towards automatic verification |
Ponomarenko, A. |
2012 |
38 | 5 |
p. 257-267 |
artikel |
|
| 2 | Higher-level supercompilation as a metasystem transition |
Klyuchnikov, I. G. |
2012 |
38 | 5 |
p. 231-244 |
artikel |
|
| 3 | Model-based testing of internet e-mail protocols |
Pakulin, N. V. |
2012 |
38 | 5 |
p. 268-275 |
artikel |
|
| 4 | Probabilistic generalization of formal concepts |
Vityaev, E. E. |
2012 |
38 | 5 |
p. 219-230 |
artikel |
|
| 5 | The use of hardware virtualization in the context of information security |
Silakov, D. V. |
2012 |
38 | 5 |
p. 276-280 |
artikel |
|
| 6 | Using linux device drivers for static verification tools benchmarking |
Mandrykin, M. U. |
2012 |
38 | 5 |
p. 245-256 |
artikel |
6 gevonden resultaten