Showing 1 - 20 results of 366 for search '"Finite state machine"', query time: 0.18s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4

    Synchronizability of Communicating Finite State Machines is not Decidable by Alain Finkel, Etienne Lozes

    Published 2023-12-01
    “…A system of communicating finite state machines is synchronizable if its send trace semantics, i.e.the set of sequences of sendings it can perform, is the same when its communications are FIFO asynchronous and when they are just rendez-vous synchronizations. …”
    Get full text
    Article
  5. 5
  6. 6
  7. 7

    Applications of Cubic Structures to Subsystems of Finite State Machines by Nabilah Abughazalah, Naveed Yaqoob

    Published 2018-11-01
    Subjects: “…cubic finite state machine…”
    Get full text
    Article
  8. 8
  9. 9

    Modeling Software with Finite State Machines : A Practical Approach / by Wagner, Ferdinand, author, Schumuki, Ruedi, author, Wagner, Thomas, author, Wolstenholme, Peter, author

    Published 2019
    “…Modeling Software with Finite State Machines: A Practical Approach explains how to apply finite state machines to software development. …”
  10. 10
  11. 11
  12. 12
  13. 13

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

    Published 2020-12-01
    “…State identification is the well-known problem in the theory of Finite State Machines (FSM) where homing sequences (HS) are used for the identification of a current FSM state, and this fact is widely used in the area of software and hardware testing and verification. …”
    Get full text
    Article
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18

    Technology-enhanced learning (TEL) of finite state machines (FSMs) by Ling, Ping Liang

    Published 2018
    “…To ease the creation of Finite State Machine questions and provide many of such question for learner revision, this project aims to develop an automatic question generator specifically for Finite State Machine Question. …”
    Get full text
    Final Year Project (FYP)
  19. 19

    Technology Enhanced Learning (TEL) of Finite State Machines (FSMs) by Han, Qin Qian

    Published 2019
    “…To expand the TEL field, a platform-independent Java application that generates all possible configurations of Finite State Machines (FSMs) was developed. The purpose of the application is to provide a virtual learning platform that allows users to practice the analysis of FSMs continuously. …”
    Get full text
    Final Year Project (FYP)
  20. 20

    A clocked finite state machine built from DNA. by Costa Santini, C, Bath, J, Tyrrell, A, Turberfield, A

    Published 2013
    “…We implement a finite state machine by representing state, transition rules and input symbols with DNA components. …”
    Journal article