Open AccessDevelopment of the technology dependability automaton (substantiation of standardization regulation)
Author(s) -
Nikolai I. Plotnikov
Publication year - 2020
Publication title -
nadëžnostʹ
Language(s) - English
Resource type - Journals
eISSN - 2500-3909
pISSN - 1729-2646
DOI - 10.21683/1729-2646-2020-20-4-21-24
Subject(s) - dependability , computer science , timed automaton , theoretical computer science , automaton , continuous automaton , cellular automaton , standardization , model checking , probabilistic automaton , distributed computing , automata theory , algorithm , software engineering , mobile automaton , operating system