Results
|
1.
|
Testing software and systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün (eds.) by Yenigün, Hüsnü [edt] | Yevtushenko, Nina V [edt] | Cavalli, Ana Rosa [edt]. Series: Lecture notes in computer scienceMaterial type: Set Publication details: Cham Springer 2017Availability: No items available :
|
|
2.
|
|
|
3.
|
|
|
4.
|
Using models of finite transition systems for checking Web-service security A. V. Kolomeets, N. V. Shabaldina, E. V. Darusenkova, N. V. Yevtushenko by Shabaldina, Natalia V | Darusenkova, Ekaterina V | Yevtushenko, Nina V | Kolomeets, Anton V. Source: 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices : proceedings, Erlagol, Altai Republic, 29 June - 3 July, 2017Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
Optimization Criteria for Digital Circuits M. Gromov, R. Jiang, N. Yevtushenko by Gromov, Maxim L | Jiang, R | Yevtushenko, Nina V. Source: Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участиемMaterial type: Article; Format:
print
; Literary form:
Not fiction
; Audience:
Specialized;
Availability: No items available :
|
|
11.
|
On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko by Kushik, Natalia G | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Научные подразделения РФФ. Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
Improving protocol passive testing through "Gedanken" experiments with finite state machines N. Kushik, J. López, A. Cavalli, N. Yevtushenko by Kushik, Natalia G | Cavalli, Ana Rosa | Yevtushenko, Nina V | López, Jorge. Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, AustriaMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|
|
21.
|
|
|
22.
|
Deriving tests with guaranteed fault coverage for finite state machines with timeouts A. Tvardovskii, K. El-Fakih, N. V. Yevtushenko by Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V. Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedingsMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
23.
|
|
|
24.
|
Testing Software and Systems electronic resource 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko. by El-Fakih, Khaled [editor.] | Barlas, Gerassimos [editor.] | Yevtushenko, Nina V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
25.
|
|
|
26.
|
|
|
27.
|
|
|
28.
|
|
|
29.
|
|
|
30.
|
Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko by Petrenko, Alexandre F | Simao, Adenilso da Silva | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
31.
|
Test derivation for the software defined networking platforms: novel fault models and test completeness N. V. Yevtushenko, I. Burdonov, A. Kossachev [et al.] by Burdonov, Igor | Kossachev, Alexandre | López, Jorge | Kushik, Natalia G | Zeghlache, Djamal | Yevtushenko, Nina V. Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
32.
|
|
|
33.
|
|