Merkliste 
 1 Ergebnisse 
 
1

Formal Modelling and Visualization of Elevator System Based..:

, In: 2022 IEEE 2nd International Conference on Computer Systems (ICCS),
Yao, Ju-Yi ; Zou, Sheng-Rong ; Geng, Xue - p. 123-130 , 2022