Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
No cover image available
Checking robustness of web services based on the parallel composition of partial timed finite state machines E. Shirokova

by Shirokova, Ekaterina.

Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
No cover image available
Optimizing components of finite state machines composition based on don’t care input sequences in hardware implementation E. Shirokova, L. Evtushenko, A. V. Laputenko

by Shirokova, Ekaterina | Evtushenko, Larisa | Laputenko, Andrey V.

Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart