( en | de | ru )

 

Disambiguation of "Ghedamsi, Abderrazak"

Author of the publication

copydeleteadd this publication to your clipboard
Test Selection Based on Finite State Models.

, , , , and . IEEE Trans. Software Eng., 17 (6): 591-603 (1991)

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.

Abderrazak Daoudi

Abderrazak Eddari

 

Other publications of authors with the same name

Test Selection Based on Finite State Models., , , , and . IEEE Trans. Software Eng., 17 (6): 591-603 (1991)Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines., , and . Protocol Test Systems, volume C-11 of IFIP Transactions, page 105-116. North-Holland, (1992)Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines., and . ISCC, page 661-666. IEEE Computer Society, (2001)Diagnosis of Single Transition Faults in Communicating Finite State Machines., , and . ICDCS, page 157-166. IEEE Computer Society, (1993)A Study of Some Influencing Factors in Testability and Diagnostics Based on FSMs., , and . ISCC, page 109-115. IEEE Computer Society, (1999)Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports., , , , and . Protocol Test Systems, volume C-19 of IFIP Transactions, page 139-153. North-Holland, (1993)Fault Models in Testing., , , , , and . Protocol Test Systems, volume C-3 of IFIP Transactions, page 17-30. North-Holland, (1991)Test Result Analysis and Diagnostics for Finite State Machines., and . ICDCS, page 244-251. IEEE Computer Society, (1992)Diagnostic Tests for Communicating Nondeterministic Finite State Machines., and . ISCC, page 424-429. IEEE Computer Society, (2000)Multiple Fault Diagnostics for Finite State Machines., , and . INFOCOM, page 782-791. IEEE Computer Society, (1993)