An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems
Crossref DOI link: https://doi.org/10.1007/s10586-017-1319-0
Published Online: 2018-02-01
Published Print: 2019-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cai, Haibin
Wu, Hao
Text and Data Mining valid from 2018-02-01
Article History
Received: 4 September 2017
Revised: 16 October 2017
Accepted: 31 October 2017
First Online: 1 February 2018