Showing 1 - 20 results of 35 for search 'Yevtushenko, Nina V.', query time: 0.03s Refine Results
  1. 1
    Minimizing communication lines in digital circuits based on equation solving
    Book Chapter
  2. 2
    Adaptive homing is in P
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Article
  3. 3
    Refining specifications in adaptive testing of nondeterministic finite state machines
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Article
  4. 4
    On the length of homing sequences for nondeterministic finite state machines
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  5. 5
    Adaptive experiments for state identification in finite state machines with timeouts
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  6. 6
    Deriving homing sequences for Finite State Machines with timeouts
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Article
  7. 7
    Towards checking web-services security: using automata equations and inequalities
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  8. 8
    Testing components of interacting timed finite state machines
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  9. 9
    Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  10. 10
    Adaptive homing sequences for partial weakly-initialized observable FSMs
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  11. 11
    Optimization Criteria for Digital Circuits
    Other Authors: “...Yevtushenko, Nina V....”
    Book Chapter
  12. 12
    Deriving tests with guaranteed fault coverage for finite state machines with timeouts
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  13. 13
    Security checking experiments with mobile services
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  14. 14
    On source code optimization for interpreted languages using state models
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  15. 15
    The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Article
  16. 16
    Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  17. 17
    Conformance relations for finite state machines with timeouts
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Article
  18. 18
    Some classes of finite state machines with polynomial length of distinguishing test cases
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Book Chapter
  19. 19
    On reducing test length for FSMs with extra states
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Article
  20. 20
    Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs
    Other Authors: “...Yevtushenko, Nina V....”
    Get full text
    Article
Search Tools: Get RSS Feed