Formal Verification of Lunar Rover Control Software Using UPPAAL
Shan, Lijun, Wang, Yuying, Fu, Ning, Zhou, Xingshe, Zhao, Lei, Wan, Lijng, Qiao, Lei, Chen, Jianxin
Published in FM 2014: Formal Methods (2014)
Published in FM 2014: Formal Methods (2014)
Get full text
Book Chapter
SEMICONDUCTOR INTEGRATED CIRCUIT DEVICE AND MANUFACTURING METHOD THEREFOR
LIU, Yu, SHEN, Tingying, KANG, Szu-chun, CHIU, Taiwei, ZHANG, Yajun, SHAN, Lijun
Year of Publication 17.10.2024
Get full text
Year of Publication 17.10.2024
Patent
A Broadband Coherent Diffraction Radiation THz Source Based on CTFEL Electron Beam Bunches
Li, Peng, Liu, Yu, Shan, Lijun, Wu, Dai
Published in 2018 International Conference on Microwave and Millimeter Wave Technology (ICMMT) (01.05.2018)
Published in 2018 International Conference on Microwave and Millimeter Wave Technology (ICMMT) (01.05.2018)
Get full text
Conference Proceeding
LINEAR RESISTIVE ELEMENT AND PREPARATION METHOD
LIU, Yu, SHEN, Tingying, KANG, SZUUN, CHIU, Taiwei, ZHANG, Yajun, SHAN, Lijun
Year of Publication 25.07.2024
Get full text
Year of Publication 25.07.2024
Patent
A Survey on the Application of Safety, Security, and Privacy Standards for Dependable Systems
Shan, Lijun, Sangchoolie, Behrooz, Folkesson, Peter, Vinter, Jonny, Schoitsch, Erwin, Loiseaux, Claire
Published in 2019 15th European Dependable Computing Conference (EDCC) (01.09.2019)
Published in 2019 15th European Dependable Computing Conference (EDCC) (01.09.2019)
Get full text
Conference Proceeding
RESISTIVE SWITCHING MEMORY, RESISTIVE SWITCHING ELEMENT AND MANUFACTURING METHOD FOR THE SAME
LIU, Yu, SHEN, Tingying, KANG, SZUUN, CHIU, Taiwei, WANG, Danyun, SHAN, Lijun
Year of Publication 11.05.2023
Get full text
Year of Publication 11.05.2023
Patent
Fabrication and Performance of the Digital Low-Level RF Control System for the 1.3GHz Buncher Cavity
Lao, Chenglong, He, Tianhui, Zhou, Kui, Feng, Liwen, Luo, Xing, Shan, Lijun, Yang, Xinfan, Li, Ming
Published in 2018 International Conference on Microwave and Millimeter Wave Technology (ICMMT) (01.05.2018)
Published in 2018 International Conference on Microwave and Millimeter Wave Technology (ICMMT) (01.05.2018)
Get full text
Conference Proceeding