Search alternatives:
"timed finite state machines" » "time finite state machines" (Expand Search), "times finite state machines" (Expand Search), "timed finite state machine" (Expand Search)
Showing 1 - 2 results of 2 for search '"timed finite state machines"', query time: 0.10s Refine Results
  1. 1
    Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines

    Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines by M. L. Gromov, N. V. Shabaldina

    Published 2016-12-01
    Subjects: “…timed finite state machines…”
    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
    Subjects: “…timed finite state machines…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: