External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modelling and verification of ARINC 653 hierarchical preemptive scheduling

Ning Fu, Lijun Shan, Chenglie Du, Zhiqiang Liu, Han Peng. Modelling and verification of ARINC 653 hierarchical preemptive scheduling. Int. Arab J. Inf. Technol., 17(1):99-106, 2020. [doi]

Authors

Ning Fu

This author has not been identified. Look up 'Ning Fu' in Google

Lijun Shan

This author has not been identified. Look up 'Lijun Shan' in Google

Chenglie Du

This author has not been identified. Look up 'Chenglie Du' in Google

Zhiqiang Liu

This author has not been identified. Look up 'Zhiqiang Liu' in Google

Han Peng

This author has not been identified. Look up 'Han Peng' in Google
runs on