%0 Journal Article
%T A Framework for Model and Verification of Safety-Critical Operating System Based on ARINC653
%A Xu, Wenjing
%A Ma, Dianfu
%J Electronics
%V 10
%N 16
%@ 2079-9292
%D 2021-08-11
%I Multidisciplinary Digital Publishing Institute
%~ DeepDyve