Author of the publication

An Semi-formal Co-verification Approach for High-Assurance CPS.

, , and . SimuTools, volume 295 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 168-179. Springer, (2019)

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

A Robust Data Interpolation Based on a Back Propagation Artificial Neural Network Operator for Incomplete Acquisition in Wireless Sensor Networks., , , , and . J. Sensors, (2018)Unitary Low-Rank Matrix Decomposition for DOA Estimation in Nonuniform Noise., , , , , and . DSP, page 1-4. IEEE, (2018)An Underwater Image Color Correction Algorithm Based on Underwater Scene Prior and Residual Network., , , , , , , and . ICAIS (2), volume 13339 of Lecture Notes in Computer Science, page 129-139. Springer, (2022)A Collaborative Filtering Recommendation Algorithm for Social Interaction., , and . WISA, page 245-250. IEEE, (2017)A Collaborative Filtering Algorithm Based on User Similarity and Trust., , and . WISA, page 263-266. IEEE, (2017)Noniterative DOA Estimation Algorithms of Noncircular Signals in Nonuniform Noise Environment., , , , , and . IEEE Access, (2020)Research on a Cooperative Model for Service Chain of Digital Library., and . SNPD, page 221-226. IEEE Computer Society, (2010)Typhoon Early Warning Modeling for Regional Disaster Evaluation., , , , and . ES, page 26-29. IEEE, (2017)MFFCG - Multi feature fusion for hyperspectral image classification using graph attention network., , , , , , , and . Expert Syst. Appl., 229 (Part A): 120496 (November 2023)Structure Preservation and Seam Optimization for Parallax-Tolerant Image Stitching., , , , , and . IEEE Access, (2022)