Sign in
A measurable refinement method of design and verification for micro-kernel operating systems in communication network.
Zhenjiang Qian
Rui Xia
Gaofei Sun
Xiaoshuang Xing
Kaijian Xia
Published in:
Digit. Commun. Networks (2023)
Keyphrases
</>
operating system
communication networks
computer systems
unsupervised learning
wireless sensor networks
end users
knowledge management