From post

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., , , и . ISCTCS, том 320 из Communications in Computer and Information Science, стр. 490-497. Springer, (2012)An MDE-based approach to the verification of SysML state machine diagram., , , , и . Internetware, стр. 9:1-9:7. ACM, (2012)Composition of AADL Components by Transformation to Interface Automata., , , , , и . ISCTCS, том 320 из Communications in Computer and Information Science, стр. 522-529. Springer, (2012)Timing Aspects Construction Using UML-MARTE Profile., , , и . ISCTCS, том 320 из Communications in Computer and Information Science, стр. 474-481. Springer, (2012)A Comprehensive and Scientifically Accurate Pharmaceutical Knowledge Ontology based on Multi-source Data., , , , , , , , и . BIOINFORMATICS, стр. 168-175. SCITEPRESS, (2022)Low-Dropout Regulator design with a simple structure for good high frequency PSRR performance based on Bandgap Circuit., , , , , , , и . ASICON, стр. 1-4. IEEE, (2019)Does environmental carbon pressure lead to low-carbon technology innovation? Empirical evidence from Chinese cities based on satellite remote sensing and machine learning., , , , , , и . Comput. Ind. Eng., (2024)An Android dynamic data protection model based on light virtualization., , , и . ICCT, стр. 65-69. IEEE, (2013)