Shiing-Shen Chern und die Mathematik in China

von Huang, Wen-ling
Veröffentlicht in Mitteilungen der Mathematischen Gesellschaft in Hamburg (2002)

Conformance Relations Between Input/Output Languages

von Huang, Wen-ling
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

An Optimised Complete Strategy for Testing Symbolic Finite State Machines

von Huang, Wen-ling
Veröffentlicht in FSEN (10. : 2023 : Teheran; Online) Fundamentals of software engineering (2023)

Complete model-based testing

von Peleska, Jan
Veröffentlicht in Test, Analyse und Verifikation von Software - gestern, heute, morgen (2018)

FINITE ELEMENT ANALYSIS OF CONTROLLED LOW-STRENGTH MATERIAL PAVEMENT BASES: STATIC ANALYSIS

von Huang, Li-Jeng
Veröffentlicht in International Structural Engineering and Construction Conference (9. : 2017 : Valencia) Resilient structures and sustainable construction ; Volume 1 of 2 (2020)

FINITE ELEMENT ANALYSIS OF CONTROLLED LOW STRENGTH MATERIAL PAVEMENT BASES: FREE VIBRATION ANALYSIS

von Huang, Li-Jeng
Veröffentlicht in International Structural Engineering and Construction Conference (9. : 2017 : Valencia) Resilient structures and sustainable construction ; Volume 1 of 2 (2020)

tao xing zhi nian pu chang bian

von wang wen ling
Veröffentlicht 201212

Mild-Hypotheses-Charakterisierungen im Geradenraum

von Huang, Wen-ling
Veröffentlicht 1994

Mild-hypothesis-characterizations for Lorentzian manifolds/ vorgelegt von Wen-ling Huang

von Huang, Wen-ling
Veröffentlicht 2001

Applicable formal methods for safe industrial products : essays dedicated to Jan Peleska on the occasion of his 65th birthday

Veröffentlicht 2023