TY  - RPRT
TI  - A Formal Specification of Operating System based on ARINC 653
AU  - Ziyan Wang
AU  - Yan Zhang
PY  - 2022
UR  - https://arxiv.org/abs/2206.14189
ID  - 2206.14189
ER  -