Zou, Sheng-Yi
10198  Ergebnisse:
Personensuche X
?
 
?
 
?
 
?
6

Conversion of Timing Diagram to Event-B:

, In: 2023 8th International Conference on Computational Intelligence and Applications (ICCIA),
Liu, Xiao-Ying ; Zou, Sheng-Rong ; Geng, Xue. - p. 69-73 , 2023
 
?
 
?
8

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
 
?
9

Efficient narrowband electroluminescence based on a hetero-..:

Yu, You-Jun ; Zou, Sheng-Nan ; Peng, Chen-Chen...
Journal of Materials Chemistry C.  10 (2022)  12 - p. 4941-4946 , 2022
 
?
10

Systematic Transformation Method from UML to Event-B:

, In: 2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C),
Geng, Xue ; Zou, Sheng-rong ; Yao, Ju-yi - p. 770-771 , 2022
 
?
11

Isomeric thermally activated delayed fluorescence emitters ..:

Liu, Jing-Feng ; Zou, Sheng-Nan ; Chen, Xing...
Materials Chemistry Frontiers.  6 (2022)  7 - p. 966-972 , 2022
 
?
12

Event-B Modeling for Use Case Diagrams and Application in I..:

, In: 2022 7th International Conference on Computational Intelligence and Applications (ICCIA),
Xue-Geng ; Zou, Sheng-rong ; Yao, Ju-yi. - p. 6-10 , 2022
 
?
 
1-15