Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.

Y. Zhang, F. Xie, Y. Dong, X. Zhou, und C. Ma. COMPSAC, Seite 539-548. IEEE Computer Society, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hanbing Ma University of Stuttgart

Yuliang Ma University of Stuttgart

Prof. Dr.-Ing. Thomas Maier Universität Stuttgart

Daniel Marino

Thomas Maier

Weitere Publikationen von Autoren mit dem selben Namen

A vector table model-based systematic analysis of spectral fault localization techniques.C. Ma, C. Nie, W. Chao, und B. Zhang. Software Quality Journal, 27 (1): 43-78 (2019)Design and Performance Analysis of a Multilayer Sea Ice Temperature Sensor Used in Polar Region.G. Zuo, Y. Dou, X. Chang, Y. Chen, und C. Ma. Sensors, 18 (12): 4467 (2018)WSDL-Based Automated Test Data Generation for Web Service.C. Ma, C. Du, T. Zhang, F. Hu, und X. Cai. CSSE (2), Seite 731-737. IEEE Computer Society, (2008)978-0-7695-3336-0.Extension of TD-pi Calculus in Real-Time Distributed Virtual-Test System Description.Q. Wang, C. Du, C. Ma, und G. Li. CSSE (3), Seite 363-369. IEEE Computer Society, (2008)978-0-7695-3336-0.An Extended Self-Adaptive Kalman Filtering Object Motion Prediction Model.Y. Zhang, Z. Zhai, X. Nie, C. Ma, und F. Zuo. IIH-MSP, Seite 421-424. IEEE Computer Society, (2008)An Intelligent Question Answering System for University Courses Based on BiLSTM and Keywords Similarity.C. Ma, B. Li, T. Zhao, und W. Wei. BICS, Volume 10989 von Lecture Notes in Computer Science, Seite 625-632. Springer, (2018)Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.Y. Zhang, F. Xie, Y. Dong, X. Zhou, und C. Ma. COMPSAC, Seite 539-548. IEEE Computer Society, (2013)A Method for Constructing Fault Trees from AADL Models.Y. Li, Y. Zhu, C. Ma, und M. Xu. ATC, Volume 6906 von Lecture Notes in Computer Science, Seite 243-258. Springer, (2011)Visual analysis of bi-directional movement behavior.Y. Zheng, W. Wu, H. Qu, C. Ma, und L. Ni. BigData, Seite 581-590. IEEE Computer Society, (2015)A Security Evaluation Model for Multi-Agents Distributed Systems.C. Ma, und A. Concepcion. BIS, Volume P-85 von LNI, Seite 468-485. GI, (2006)