( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimizing symbolic model checking for statecharts

, , , , , и . Software Engineering, IEEE Transactions on, 27 (2): 170--190 (2001)
DOI: 10.1109/32.908961

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.

Wilhelm Chan

Raquel Chan

Clifford Chan

Danny Chan

Chan Zhou

 

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

Image Super-Resolution via Iterative Refinement, , , , , и . (2021)Ordinal definability and combinatorics of equivalence relations.. J. Math. Log., 19 (2): 1950009:1-1950009:24 (2019)Temporal-Locig Queries.. CAV, том 1855 из Lecture Notes in Computer Science, стр. 450-463. Springer, (2000)Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints., , , и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 316-327. Springer, (1997)Model Checking Large Software Specifications., , , , , , и . SIGSOFT FSE, стр. 156-166. ACM, (1996)Improving Efficiency of Symbolic Model Checking for State-Based System Requirements., , , и . ISSTA, стр. 102-112. ACM, (1998)Privacy Partition: A Privacy-Preserving Framework for Deep Neural Networks in Edge Networks., , , , , , , , , и 2 other автор(ы). SEC, стр. 378-380. IEEE, (2018)Noise2Music: Text-conditioned Music Generation with Diffusion Models., , , , , , , , , и 4 other автор(ы). CoRR, (2023)Distributed asynchronous optimization of convolutional neural networks., и . INTERSPEECH, стр. 1073-1077. ISCA, (2014)Cascaded Diffusion Models for High Fidelity Image Generation., , , , , и . CoRR, (2021)