Login / Signup

Formal Verifying Kernel Abstract Layer of HarmonyOS with Projection Temporal Logic.

Ye TianXinfeng Shu
Published in: AIPR (2023)
Keyphrases