( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.

, , , , , и . APSEC, стр. 331-338. IEEE, (2019)

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.

Yongxin Liao

Yongxin Meng

Zhao Zhao

Yanning Zhao

Hertz-level ultra-stable laser and its application to high precision spectroscopy. Uni Erlangen-Nürnberg, (2009)

Xiaojian Zhao

 

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

ChiselFV: A Formal Verification Framework for Chisel., , и . DATE, стр. 1-6. IEEE, (2023)MicroRNA annotation in plants: current status and challenges., , , , и . Briefings Bioinform., (2021)Encoding Induction Proof in Dafny., , , и . TASE, стр. 95-102. IEEE, (2021)A Timed CSP Model for the Time-Triggered Language Giotto., , , , и . SEW, стр. 110-119. IEEE Computer Society, (2012)A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space., , и . TASE, том 14777 из Lecture Notes in Computer Science, стр. 306-323. Springer, (2024)Towards a Combination of CafeOBJ and PAT., , , и . Specification, Algebra, and Software, том 8373 из Lecture Notes in Computer Science, стр. 151-170. Springer, (2014)An Information Flow Security Logic for Permission-Based Declassification Strategy., , и . SEKE, стр. 519-524. KSI Research Inc., (2022)Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning., , , и . SEKE, стр. 280-285. KSI Research Inc., (2023)Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution., , и . HPCC/DSS/SmartCity/DependSys, стр. 1675-1681. IEEE, (2022)Release of Trajectory Data based on Space Segmentation using Differential Privacy., , и . TrustCom, стр. 1246-1253. IEEE, (2021)