Open AccessDeriving adaptive checking sequence for nondeterministic Finite State Machines
Author(s) -
Anton D. Ermakov,
Nina Yevtushenko
Publication year - 2016
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2016-28(3)-8
Subject(s) - nondeterministic algorithm , sequence (biology) , finite state machine , reset (finance) , computer science , model checking , algorithm , state (computer science) , set (abstract data type) , theoretical computer science , programming language , biology , financial economics , economics , genetics