( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
N-PAT: A Nested Model-Checker.

, , , , , , и . CoRR, (2020)

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.

Hao Cai

Xiaofei Hao

Wenjin Hao

Cheng-Yung Cheng

Jin Hao

 

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

Silas: A high-performance machine learning foundation for logical reasoning and verification., , , , , , и . Expert Syst. Appl., (2021)B model quality assessments on automated reachability repair with ISO/IEC 25010., , и . Sci. Comput. Program., (2022)N-PAT: A Nested Model-Checker., , , , , , и . CoRR, (2020)SLDR-DL: A Framework for SLD-Resolution with Deep Learning.. CoRR, (2017)Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring., , , , , , и . Formal Aspects Comput., 34 (2): 1-31 (2022)Audio-only Bird Species Automated Identification Method with Limited Training Data Based on Multi-Channel Deep Convolutional Neural Networks., , , и . CoRR, (2018)Automatic refactoring of conditions and substitutions for B state transition models., , и . Softw. Pract. Exp., 53 (11): 2241-2270 (ноября 2023)N-PAT: A Nested Model-Checker - (System Description)., , , , , , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 369-377. Springer, (2020)Repairing Numerical Equations in Analogically Blended Theories Using Reformation., и . HLC, том 3227 из CEUR Workshop Proceedings, стр. 18-23. CEUR-WS.org, (2022)