Search Results - Aleksandr S. Tvardovskii

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Deriving Homing Sequences for Finite State Machines with Timed Guards

    Deriving Homing Sequences for Finite State Machines with Timed Guards by Aleksandr Sergeevich Tvardovskii, Nina Vladimirovna Yevtushenko

    Published 2020-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

    Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage by Aleksandr S. Tvardovskii, Khaled El-Fakih, Maksim L. Gromov, Nina V. Yevtushenko

    Published 2017-08-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: