Naijun Zhan

ספרים שבהם Naijun Zhan מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal MethodsMarieke Huisman

Formal Methods

Marieke Huisman · 2021

Symposium on Real-Time and Hybrid SystemsCliff Jones

Symposium on Real-Time and Hybrid Systems

Cliff Jones · 2018

Dependable Software Engineering : Theories, Tools, and ApplicationsMartin änzle

Dependable Software Engineering : Theories, Tools, and Applications

Martin änzle · 2016