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

Computer-aided dispatch system family architecture and verification: an integrated formal approach.

J. Sun, J. Dong, S. Jarzabek, und H. Wang. IEE Proceedings - Software, 153 (3): 102-112 (2006)

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.

Dr. Xinxin Jing University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jing Song University of Stuttgart

Dr. Kaicong Sun University of Stuttgart

Jun. -Prof. Sun Hea Hong University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Computer-aided dispatch system family architecture and verification: an integrated formal approach.J. Sun, J. Dong, S. Jarzabek, und H. Wang. IEE Proceedings - Software, 153 (3): 102-112 (2006)Fast Mode Decision Using Inter-View and Inter-Component Correlations for Multiview Depth Video Coding.J. Lei, J. Sun, Z. Pan, S. Kwong, J. Duan, und C. Hou. IEEE Trans. Industrial Informatics, 11 (4): 978-986 (2015)Theorem prover approach to semistructured data design.S. Lee, G. Dobbie, J. Sun, und L. Groves. Formal Methods in System Design, 37 (1): 1-60 (2010)Predictive Control Allocation for a Thermal Management System Based on an Inner Loop Reference Model - Design, Analysis, and Experimental Results.C. Vermillion, J. Sun, und K. Butts. IEEE Trans. Contr. Sys. Techn., 19 (4): 772-781 (2011)A Coordinating Control Strategy for Autothermal Fuel Reforming Systems.J. Chen, und J. Sun. IEEE Trans. Contr. Sys. Techn., 18 (4): 779-788 (2010)A multivariate spectral projected gradient method for bound constrained optimization.Z. Yu, J. Sun, und Y. Qin. J. Computational Applied Mathematics, 235 (8): 2263-2269 (2011)Evolutionary algorithms with preference polyhedron for interval multi-objective optimization problems.D. Gong, J. Sun, und X. Ji. Inf. Sci., (2013)Non-Mercer hybrid kernel for linear programming support vector regression in nonlinear systems identification.Z. Lu, und J. Sun. Appl. Soft Comput., 9 (1): 94-99 (2009)Model Reference Adaptive Control.J. Sun. Encyclopedia of Systems and Control, Springer, (2015)The Research of Health Assessment of E-business Ecosystem.Y. Jiang, W. Shi, und J. Sun. WHICEB, Seite 52. Association for Information Systems, (2013)