From post

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

An MDE-based approach to the verification of SysML state machine diagram.

X. Huang, Q. Sun, J. Li, M. Pan, и T. Zhang. Internetware, стр. 9:1-9:7. ACM, (2012)

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.

MDE-Based Verification of SysML State Machine Diagram by UPPAAL.X. Huang, Q. Sun, J. Li, и T. Zhang. ISCTCS, том 320 из Communications in Computer and Information Science, стр. 490-497. Springer, (2012)An MDE-based approach to the verification of SysML state machine diagram.X. Huang, Q. Sun, J. Li, M. Pan, и T. Zhang. Internetware, стр. 9:1-9:7. ACM, (2012)Composition of AADL Components by Transformation to Interface Automata.J. Li, J. Zhao, Q. Sun, X. Huang, Y. Zhang, и T. Zhang. ISCTCS, том 320 из Communications in Computer and Information Science, стр. 522-529. Springer, (2012)Timing Aspects Construction Using UML-MARTE Profile.Q. Sun, X. Huang, J. Li, и T. Zhang. ISCTCS, том 320 из Communications in Computer and Information Science, стр. 474-481. Springer, (2012)