OS-Aware Interaction Model for the Verification of Multitasking Embedded Software

Yunja Choi. OS-Aware Interaction Model for the Verification of Multitasking Embedded Software. IEEE Access, 8:134987-134999, 2020. [doi]

Abstract

Abstract is missing.