( en | de | ru )

 

Disambiguation of "Ural, Hasan"

Author of the publication

copydeleteadd this publication to your clipboard
Construction of Deadlock-free Designs of Communication Protocols from Observation.

, and . Comput. J., 45 (2): 162-173 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ural Kalender

Ural Cizgenakad

Istabrak Hasan

Maen Khaled Amin Hasan

Alkomiet Hasan

 

Other publications of authors with the same name

Efficient checking sequences for testing finite state machines., and . Inf. Softw. Technol., 41 (11-12): 799-812 (1999)ASNST: an Abstract Syntax Notation-One support tool., and . Comput. Commun., 12 (5): 259-265 (1989)Formal methods for test sequence generation.. Comput. Commun., 15 (5): 311-325 (1992)Construction of checking sequences based on characterization sets., and . Comput. Commun., 18 (12): 911-920 (1995)Reducing the cost of applying adaptive test cases., and . Comput. Networks, 51 (1): 224-238 (2007)The Effect of the Distributed Test Architecture on the Power of Testing., and . Comput. J., 51 (4): 497-510 (2008)UIO sequence based checking sequences for distributed test architectures., and . Inf. Softw. Technol., 45 (12): 793-803 (2003)Checking sequences for distributed test architectures., and . Distributed Comput., 21 (3): 223-238 (2008)Minimizing Coordination Channels in Distributed Testing., , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 451-466. Springer, (2006)Recovering the Lattice of Repetitive Sub-functions., , and . ISCIS, volume 3733 of Lecture Notes in Computer Science, page 956-965. Springer, (2005)