( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of GP Specification based Embedded Operating System.

, , , и . CSAE, стр. 188:1-188:5. ACM, (2018)

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.

Lei Lei

Lei Lei

Linhan Qiao

Miao Qiao

Wenbao Qiao

 

Другие публикации лиц с тем же именем

A general Phragmén-Lindelöf principle for weak solutions of the Schrödinger equation and its applications.. Appl. Math. Lett., (2018)Pipe Stress Optimization Analysis Based on MIGA Algorithm., , , , , и . CIPAE, стр. 277-280. ACM, (2020)Deep Feature Learning to Quantitative Prediction of Software Defects., , , и . COMPSAC, стр. 1401-1402. IEEE, (2021)Virtually-Federated Scheduling of Parallel Real-Time Tasks., , , , , и . RTSS, стр. 482-494. IEEE, (2021)Fast, High-radix Silicon Photonic Switches., , , , и . OFC, стр. 1-3. IEEE, (2018)Autonomous UAV Landing System Based on Visual Navigation., , , , , , , , , и . IST, стр. 1-6. IEEE, (2019)Archivist: A Machine Learning Assisted Data Placement Mechanism for Hybrid Storage Systems., , , , , , и . ICCD, стр. 676-679. IEEE, (2019)Astraea: Self-Balancing Federated Learning for Improving Classification Accuracy of Mobile Deep Learning Applications., , , , , , и . ICCD, стр. 246-254. IEEE, (2019)A Verified Specification of TLSF Memory Management Allocator Using State Monads., , , , и . SETTA, том 11951 из Lecture Notes in Computer Science, стр. 122-138. Springer, (2019)Trajectory Tracking Control of AUVs via Adaptive Fast Nonsingular Integral Terminal Sliding Mode Control., и . IEEE Trans. Ind. Informatics, 16 (2): 1248-1258 (2020)