( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic.

, , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 160-178. Springer, (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.

Huanhuan Wang

Tung-sheng Sheng

Tung-sheng Sheng

Tung-sheng Sheng

Tung-sheng Sheng

 

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

Economic Incentive Structure for Blockchain Network., , , , и . SmartBlock, том 11373 из Lecture Notes in Computer Science, стр. 120-128. Springer, (2018)ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving., , , , , , , , и . ARCH@SAFECOMP, том 90 из EPiC Series in Computing, стр. 185-203. EasyChair, (2022)HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic., , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 160-178. Springer, (2023)Generative Adversarial Training for Weakly Supervised Nuclei Instance Segmentation., , , , , , и . SMC, стр. 3649-3654. IEEE, (2020)Synthesis and Segmentation Method of Cross-Staining Style Nuclei Pathology Image Based on Adversarial Learning., , , и . ISPA/BDCloud/SocialCom/SustainCom, стр. 522-532. IEEE, (2021)ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving., , , , , и . ARCH, том 96 из EPiC Series in Computing, стр. 170-188. EasyChair, (2023)