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. -Ing. Tobias Haist University of Stuttgart

Sören Hain University of Stuttgart

Richard Haidl University of Stuttgart

H. Binz

H. Bungartz

Weitere Publikationen von Autoren mit dem selben Namen

Formal Semantics and Verification for Feature Modeling.J. Sun, H. Zhang, Y. Li, und H. Wang. ICECCS, Seite 303-312. IEEE Computer Society, (2005)Analysing Web Ontology in Alloy: A Military Case Study.J. Dong, J. Sun, H. Wang, C. Lee, und H. Lee. SEKE, Seite 542-546. (2003)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)Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm.J. Zhang, Q. Gao, und H. Wang. ICTAI, Seite 783-790. IEEE Computer Society, (2006)A Web-based Interactive Data Visualization System for Outlier Subspace Analysis.D. Liu, Q. Gao, H. Wang, und J. Zhang. SEDE, Seite 275-280. ISCA, (2010)A survey of Semantic Web Services formalisms.H. Wang, N. Gibbins, T. Payne, A. Patelli, und Y. Wang. Concurrency and Computation: Practice and Experience, 27 (15): 4053-4072 (2015)Detecting anomalies from high-dimensional wireless network data streams: a case study.J. Zhang, Q. Gao, H. Wang, und H. Wang. Soft Comput., 15 (6): 1195-1215 (2011)Detecting outlying subspaces for high-dimensional data: the new task, algorithms, and performance.J. Zhang, und H. Wang. Knowl. Inf. Syst., 10 (3): 333-355 (2006)An XML/XSL Approach to Visualize and Animate TCOZ.J. Sun, J. Dong, J. Liu, und H. Wang. APSEC, Seite 453-460. IEEE Computer Society, (2001)Reasoning About ORA-SS Data Models Using the Semantic Web.Y. Li, J. Sun, G. Dobbie, H. Wang, und J. Sun. (2006)