Yao, Ju-yi
12568  Ergebnisse:
Personensuche X
?
1

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

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

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

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

Investigation of SiGe/Si Bilayer Inverted-T Channel Gate-Al..:

Sun, Chong-Jhe ; Yao, Yi-Ju ; Yan, Siao-Cheng...
IEEE Journal of the Electron Devices Society.  10 (2022)  - p. 408-412 , 2022
 
?
 
?
15

Qualitative analysis of synthetic opioids, synthetic halluc..:

Ng, Xue Qin ; Hamzah, Asimah ; Goh, Mei Ling Evelyn...
Australian Journal of Forensic Sciences.  51 (2019)  sup1 - p. S229-S233 , 2019
 
1-15