|
1.
|
FSMTest-1.0: a manual for researches N. Shabaldina, M. Gromov by Shabaldina, Natalia V | Gromov, Maxim L | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
2.
|
|
|
3.
|
|
|
4.
|
FSM-based sequential circuits optimization by changing initial state of specification M. L. Gromov, N. V. Shabaldina, A. Tvardovskii, S. A. Prokopenko by Gromov, Maxim L | Shabaldina, Natalia V | Tvardovskii, Aleksandr | Prokopenko, Svetlana A. Source: 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
5.
|
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 :
|