Showing 1 - 6 results of 6 for search 'El-Fakih, Khaled', query time: 0.02s Refine Results
  1. 1
    A practical approach for testing timed deterministic finite state machines with single clock
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  2. 2
    Deriving tests with guaranteed fault coverage for finite state machines with timeouts
    Other Authors: “...El-Fakih, Khaled...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  3. 3
    Formal Techniques for Networked and Distributed Systems вЂ" FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
    by Suzuki, Kenji
    Published in Springer eBooks (2008)
    Other Authors: “...El-Fakih, Khaled...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Other Authors: “...El-Fakih, Khaled...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    FSM-based testing from user defined faults adapted to incremental and mutation testing
    Other Authors: “...El-Fakih, Khaled...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  6. 6
    Deriving compositionally deadlock-free components over synchronous automata compositions
    Published in The computer journal
    Other Authors: “...El-Fakih, Khaled...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
Search Tools: Get RSS Feed