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

Refinement and verification in component-based model-driven design.

Z. Chen, Z. Liu, A. Ravn, V. Stolz, und N. Zhan. Sci. Comput. Program., 74 (4): 168-196 (2009)

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.

Meichen Zhan University of Stuttgart

Guanhua Zhang University of Stuttgart

Shuai Zhang University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jixing Zhang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Another formal proof for Deadline Driven Scheduler.N. Zhan. RTCSA, Seite 481-485. IEEE Computer Society, (2000)Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems.Q. Wang, Y. Li, B. Xia, und N. Zhan. J. Systems Science & Complexity, 30 (1): 234-252 (2017)Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations.B. Xue, Q. Wang, S. Feng, und N. Zhan. CoRR, (2018)Parameter Synthesis Problems for one parametric clock Timed Automata.L. Dai, T. Chen, Z. Liu, B. Xia, N. Zhan, und K. Larsen. CoRR, (2018)Quantum Hoare Logic.J. Liu, B. Zhan, S. Wang, S. Ying, T. Liu, Y. Li, M. Ying, und N. Zhan. Archive of Formal Proofs, (2019)An Assume/Guarantee Based Compositional Calculus for Hybrid CSP.S. Wang, N. Zhan, und D. Guelev. TAMC, Volume 7287 von Lecture Notes in Computer Science, Seite 72-83. Springer, (2012)An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems.S. Wang, N. Zhan, und L. Zou. ICFEM, Volume 9407 von Lecture Notes in Computer Science, Seite 382-399. Springer, (2015)Abstraction of Elementary Hybrid Systems by Variable Transformation.J. Liu, N. Zhan, H. Zhao, und L. Zou. FM, Volume 9109 von Lecture Notes in Computer Science, Seite 360-377. Springer, (2015)A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example.H. Zhao, N. Zhan, D. Kapur, und K. Larsen. FM, Volume 7436 von Lecture Notes in Computer Science, Seite 471-485. Springer, (2012)Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.Y. Chen, B. Xia, L. Yang, N. Zhan, und C. Zhou. ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2007)