Verifying safety critical task scheduling systems in PPTL axiom system
Crossref DOI link: https://doi.org/10.1007/s10878-014-9776-3
Published Online: 2014-07-30
Published Print: 2016-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhang, Nan
Yang, Mengfei
Gu, Bin
Duan, Zhenhua
Tian, Cong
Text and Data Mining valid from 2014-07-30