( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Inspection and Verification of Software with Timing Requirements.

. IEEE Trans. Software Eng., 29 (8): 705-720 (2003)

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.

Jia Xu

Jia Xu

Jia Jia

Xu Xu

Xu Xu

 

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

L2-Lq reconstruction model for computational spectrometer., , , и . Appl. Math. Lett., (2023)A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm, и . CoRR, (2011)Auditing the Auditor: Secure Delegation of Auditing Operation over Cloud Storage.. IACR Cryptology ePrint Archive, (2011)A New Joint Fingerprinting and Decryption Scheme based on a Lattice Problem.. IACR Cryptology ePrint Archive, (2010)Practically Efficient Verifiable Delegation of Polynomial and its Applications.. IACR Cryptology ePrint Archive, (2011)SAR Ground Moving Target Indication Based on Relative Residue of DPCA Processing., , , , , и . Sensors, 16 (10): 1676 (2016)A New Balancing Type of Wireless Sensor Network Routing Algorithm., , , , , и . AICI, том 7530 из Lecture Notes in Computer Science, стр. 82-89. Springer, (2012)A Two-Channel Chinese Enterprise Abbreviation Generation Method Based on an Enterprise Component and Single-Character Strategy., , , , и . IEEE Access, (2022)Machine-Learning-Based Attestation for the Internet of Things Using Memory Traces., , , , , и . IEEE Internet Things J., 9 (20): 20431-20443 (2022)Energy-Aware Computation Management Strategy for Smart Logistic System With MEC., , , , , и . IEEE Internet Things J., 9 (11): 8544-8559 (2022)