From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatically Generating SystemC Code from HCSP Formal Models.

G. Yan, L. Jiao, S. Wang, L. Wang, и N. Zhan. ACM Trans. Softw. Eng. Methodol., 29 (1): 4:1-4:39 (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.

Automatically Generating SystemC Code from HCSP Formal Models.G. Yan, L. Jiao, S. Wang, L. Wang, и N. Zhan. ACM Trans. Softw. Eng. Methodol., 29 (1): 4:1-4:39 (2020)Decidability of the Initial-State Opacity of Real-Time Automata.L. Wang, и N. Zhan. Symposium on Real-Time and Hybrid Systems, том 11180 из Lecture Notes in Computer Science, Springer, (2018)The Opacity of Timed Automata.J. An, Q. Gao, L. Wang, N. Zhan, и I. Hasuo. FM (1), том 14933 из Lecture Notes in Computer Science, стр. 620-637. Springer, (2024)