Author of the publication

Research on Formal Modeling of Safety Requirements for Airborne Electronic Warfare Software.

, , , and . SAFEPROCESS, page 1-5. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Unified theory to evaluate the effect of concentration difference and Peclet number on electroosmotic mobility error of micro electroosmotic flow., and . NEMS, page 170-174. IEEE, (2012)Global Exponential Stability of Positive Almost Periodic Solutions for a Delay Logarithmic Population Model., and . J. Appl. Math., (2014)Experimental study of the effect of light source spot size on measure error of PSD., , , , and . IJMR, 14 (1): 1-14 (2019)Bias-Corrected maximum likelihood estimation of the parameters of the weighted Lindley distribution., and . Communications in Statistics - Simulation and Computation, 46 (1): 530-545 (2017)Internet AI Technology and Its Impact on China's High Education., , and . HCI (19), volume 10919 of Lecture Notes in Computer Science, page 62-72. Springer, (2018)Texar: A Modularized, Versatile, and Extensible Toolkit for Text Generation., , , , , , , , , and 6 other author(s). CoRR, (2018)A Multitemporal Mountain Rice Identification and Extraction Method Based on the Optimal Feature Combination and Machine Learning., , , , and . Remote. Sens., 14 (20): 5096 (2022)Exploiting multiple question factors for knowledge tracing., , , , , and . Expert Syst. Appl., (August 2023)Stochastic Nicholson-type delay differential system., , and . Int. J. Control, 94 (5): 1426-1433 (2021)Comparing flow experience in using digital libraries: Web and mobile context., , , and . Libr. Hi Tech, 33 (1): 41-53 (2015)