%0 Journal Article
%T Modeling and Verification Methods for Application Design in Heterogeneous Architectures
%A Pogorilyy, S.
%A Slynko, M.
%J Cybernetics and Systems Analysis
%V 56
%N 4
%P 683-688
%@ 1060-0396
%D 2020-07-26
%I Springer US
%~ DeepDyve