Merkliste 
 1 Ergebnisse 
 
1

Virtual Environment Model Generation for CPS Goal Verificat..:

Shin, Yong-Jun ; Shin, Donghwan ; Bae, Doo-Hwan
ACM Transactions on Embedded Computing Systems.  23 (2024)  1 - p. 1-29 , 2024