Open AccessDeriving tests for the synchronous composition of deterministic complete Finite State Machines
Author(s) -
Igor Burdonov,
Alexander Sergeevich Kosachev,
Nina Yevtushenko
Publication year - 2018
Publication title -
naučnyj servis v seti internet
Language(s) - English
Resource type - Conference proceedings
ISSN - 2618-9542
DOI - 10.20948/abrau-2018-4
Subject(s) - finite state machine , component (thermodynamics) , computer science , modular design , extended finite state machine , state (computer science) , composition (language) , algorithm , fault (geology) , fault coverage , automaton , port (circuit theory) , theoretical computer science , engineering , programming language , physics , electrical engineering , seismology , electronic circuit , thermodynamics , geology , linguistics , philosophy
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom