Факультетские библиотеки

Карточный/Имидж каталог

Your search returned 6 results.

Results
	1.	No cover image available FSM-based testing from user defined faults adapted to incremental and mutation testing K. A. El-Fakih, R. Dorofeeva, N. V. Yevtushenko, G. V. Bochmann by Dorofeeva, R \| Yevtushenko, Nina V \| Bochmann, G. V \| El-Fakih, Khaled \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Programming and computer softwareMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Formal Techniques for Networked and Distributed Systems вЂ“ FORTE 2008 Электронный ресурс 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih. by Suzuki, Kenji \| El-Fakih, Khaled \| Higashino, Teruo \| Yasumoto, Keiichi \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Deriving compositionally deadlock-free components over synchronous automata compositions N. V. Yevtushenko, K. El-Fakih, V. Tiziano, J.-H. R. Jiang by Yevtushenko, Nina V \| Tiziano, Villa \| Jiang, Jie-Hong R \| El-Fakih, Khaled. Source: The computer journalMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao by El-Fakih, Khaled \| Yevtushenko, Nina V \| Simao, Adenilso da Silva \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Science of Computer ProgrammingMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available 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 : Log in to add tags Add to cart (remove)
	6.	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 : Log in to add tags Add to cart (remove)