Open AccessVERIFICATION MODEL FOR THE SYSTEMS WITH LIMITED RESOURCES
Author(s) -
Galyna Tabunshchyk,
Tetiana Kapliienko,
O. V. Shytikova
Publication year - 2018
Publication title -
radìoelektronìka, ìnformatika, upravlìnnâ/radìoelektronika, ìnformatika, upravlìnnâ
Language(s) - English
Resource type - Journals
eISSN - 2313-688X
pISSN - 1607-3274
DOI - 10.15588/1607-3274-2017-4-18
Subject(s) - minicomputer , computer science , context (archaeology) , process (computing) , functional verification , task (project management) , debugging , reliability (semiconductor) , runtime verification , distributed computing , software engineering , embedded system , formal verification , operating system , systems engineering , programming language , paleontology , power (physics) , physics , quantum mechanics , biology , engineering