Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads

Bibliographische Detailangaben

Veröffentlicht in:	SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method
1. Verfasser:	Yu, Bin (VerfasserIn)
Weitere Verfasser:	Liu, Jinhui (VerfasserIn), Lei, Ming (VerfasserIn), Yu, Yong (VerfasserIn), Chen, Hao (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!