Bibliographic Details
| Title: |
Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов |
| Contributors: |
Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур, Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ |
| Source: |
Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 103-106 |
| Publisher Information: |
2015. |
| Publication Year: |
2015 |
| Subject Terms: |
тестирование безопасности, синтез тестов, телекоммуникационные протоколы |
| Document Type: |
Article |
| File Description: |
application/pdf |
| Language: |
Russian |
| Access URL: |
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524745 |
| Accession Number: |
edsair.od......3810..78ba71f6e48fbcfa967fa95f4e97799c |
| Database: |
OpenAIRE |