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)Three-Dimensional Biorthogonal Divergence-Free and Curl-Free Wavelets with Free-Slip Boundary., и . J. Appl. Math., (2013)An Android dynamic data protection model based on light virtualization., , , и . ICCT, стр. 65-69. IEEE, (2013)Who will pay for the "bicycle cemetery"? Evolutionary game analysis of recycling abandoned shared bicycles under dynamic reward and punishment., , , и . Eur. J. Oper. Res., 305 (2): 917-929 (2023)Low-Dropout Regulator design with a simple structure for good high frequency PSRR performance based on Bandgap Circuit., , , , , , , и . ASICON, стр. 1-4. IEEE, (2019)A Comprehensive and Scientifically Accurate Pharmaceutical Knowledge Ontology based on Multi-source Data., , , , , , , , и . BIOINFORMATICS, стр. 168-175. SCITEPRESS, (2022)