Отображение 1 - 8 результаты of 8 для поиска 'Tvardovskii, Aleksandr', время запроса: 0.02сек. Отмена результатов
  1. 1
    Deriving tests with guaranteed fault coverage for finite state machines with timeouts
    Полный текст
    Статья в сборнике
  2. 2
    Refining the specification FSM when deriving test suites w.r.t. the reduction relation
    Статья в сборнике
  3. 3
    Adaptive experiments for state identification in finite state machines with timeouts
    Полный текст
    Статья в сборнике
  4. 4
    Deriving homing sequences for Finite State Machines with timeouts
    по Tvardovskii, Aleksandr
    Опубликовано в: The computer journal
    Полный текст
    Статья в журнале
  5. 5
    Testing components of interacting timed finite state machines
    Другие авторы: “...Tvardovskii, Aleksandr...”
    Полный текст
    Статья в сборнике
  6. 6
    Adaptive homing sequences for partial weakly-initialized observable FSMs
    Другие авторы: “...Tvardovskii, Aleksandr...”
    Полный текст
    Статья в сборнике
  7. 7
    FSM-based sequential circuits optimization by changing initial state of specification
    Другие авторы: “...Tvardovskii, Aleksandr...”
    Полный текст
    Статья в сборнике
  8. 8
    Minimizing deterministic timed finite state machines
    Опубликовано в: IFAC-PapersOnLine
    Другие авторы: “...Tvardovskii, Aleksandr...”
    Полный текст
    Статья в журнале
Инструменты поиска: RSS-поток