Crossmark

Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads

Crossref DOI link: https://doi.org/10.1007/978-3-030-41418-4_8

Published Online: 2020-02-20

Published Print: 2020

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Yu, Bin

Liu, Jinhui

Lei, Ming

Yu, Yong

Chen, Hao
License Information

Text and Data Mining valid from 2020-01-01
More Information

Chapter History

First Online: 20 February 2020

Conference Information

Conference Acronym: SOFL+MSVL

Conference Name: International Workshop on Structured Object-Oriented Formal Language and Method

Conference City: Shenzhen

Conference Country: China

Conference Year: 2019

Conference Start Date: 5 November 2019

Conference End Date: 5 November 2019

Conference Number: 9

Conference ID: sofl2019a

Conference URL: http://csse.szu.edu.cn/icfem2019/soflmsvl.html