Hits:

Institution:计算机学院

Title of Paper:Verifying safety critical task scheduling systems in PPTL axiom system

Journal:JOURNAL OF COMBINATORIAL OPTIMIZATION

First Author:Zhang, Nan^Yang, Mengfei^Gu, Bin^Duan, Zhenhua^Tian, Cong

Document Code:SCI WOS:000368686900008

Volume:31

Issue:2

Page Number:577-603

ISSN:1382-6905

Translation or Not:No

Date of Publication:2016-01-01

Included Journals:SCI

Date:2018-06-08