Вы здесь

Ural H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Construction of Checking Sequences Based on UIO Sequences 1994 Rezaki A., Ural H., White G. Proc. of the Ninth Intern. Symp. on Computer and Information Sciences - ISCIS IX 23.05.1995
СТ A Temporal Logic Based Theory of Test Coverage and Generation 2002 Hong H. S., Lee I., Sokolovsky O., Ural H. Lecture Notes in Computer Science 21.05.2002
СТ Construction of Deadlock-free Designs of Communication Protocols from Observations 2002 Chen X. J., Ural H. The Computer J. 07.05.2002
СТ Concerning the Ordering of Adaptive Test Sequences 2003 Hierons R. M., Ural H. Lecture Notes in Computer Science 26.12.2003
СТ Generating Checking Sequences for a Distributed Test Architecture 2003 Ural H., Williams C. Lecture Notes in Computer Science 07.06.2003
СТ Automatic Generation of Test Purposes for Testing Distributed Systems 2004 Henniger O., Lu M., Ural H. Lecture Notes in Computer Science 11.03.2004
СТ Conditions for Resolving Observability Problems in Distributed Testing 2004 Chen J., Hierons R. M., Ural H. Lecture Notes in Computer Science Lecture Notes in Computer Science 21.01.2005
СТ Using Model Checking for Reducing the Cost of Test Generation 2005 Hong H. S., Ural H. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2005