Author of the publication

A Formal Transformation Approach for Embedded Software Modeling.

, and . J. Softw., 9 (4): 807-813 (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Probabilistic and Interactive Retrieval of Chinese Calligraphic Character Images Based on Multiple Features., , , , , and . DASFAA (1), volume 6587 of Lecture Notes in Computer Science, page 300-310. Springer, (2011)Automatic Classification of Cloud Service Based on Weighted Euclidean Distance., , and . ICCCS (1), volume 10039 of Lecture Notes in Computer Science, page 229-239. (2016)A Hybrid-Feature-Based Efficient Retrieval over Chinese Calligraphic Manuscript Image Repository., and . WAIM, volume 6184 of Lecture Notes in Computer Science, page 544-550. Springer, (2010)k Nearest Neighbor Queries Based on Data Grid., , and . J. Comput. Res. Dev., 43 (11): 1876-1885 (2006)Linear-quadratic partially observed forward-backward stochastic differential games and its application in finance., and . Appl. Math. Comput., (2018)Efficient and Transparent Method for Large-Scale TLS Traffic Analysis of Browsers and Analogous Programs., , and . Secur. Commun. Networks, (2019)Instruction SDC Vulnerability Prediction Using Long Short-Term Memory Neural Network., , and . ADMA, volume 11323 of Lecture Notes in Computer Science, page 140-149. Springer, (2018)一种基于稀疏主成分的基因表达数据特征提取方法 (Feature Extraction Method Based on Sparse Principal Components for Gene Expression Data)., , , and . 计算机科学, 42 (Z6): 453-458 (2015)Research and Application of Data Integration in Aircraft Designing Based on SDO., , and . J. Softw., 9 (3): 689-696 (2014)A Formal Transformation Approach for Embedded Software Modeling., and . J. Softw., 9 (4): 807-813 (2014)