Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов |
| Συνεισφορές: |
Томский государственный университет Научное управление Лаборатории НУ |
| Πηγή: |
Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 67-76 |
| Στοιχεία εκδότη: |
2014. |
| Έτος έκδοσης: |
2014 |
| Θεματικοί όροι: |
синтез тестов, телекоммуникационные протоколы, древовидные автоматы, TCP, протокол |
| Τύπος εγγράφου: |
Article |
| Περιγραφή αρχείου: |
application/pdf |
| Γλώσσα: |
Russian |
| Σύνδεσμος πρόσβασης: |
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505205 |
| Αριθμός Καταχώρησης: |
edsair.od......3810..de143783a2fd24af08d62fe7508020d1 |
| Βάση Δεδομένων: |
OpenAIRE |