Formal Development and Verification of Reusable Component in PAR Platform

Bibliographische Detailangaben

Veröffentlicht in:	SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method
1. Verfasser:	Hu, Qimin (VerfasserIn)
Weitere Verfasser:	Xue, Jinyun (VerfasserIn), You, Zhen (VerfasserIn), Cheng, Zhuo (VerfasserIn), Zuo, Zhengkang (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!