Dr. Naijun Zhan is a research professor at State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences. He obtained Ph D in computer science from Institute of Software, Chinese Academy of Sciences in 2000, and Ms.c in computer science and Bs.c in mathematical logic both from Nanjing University respectively in 1996 and in 1993. Prior to join Institute of Software, Chinese Academy of Sciences, he worked at Faculty of Mathematics and Informatics, University of Mannheim, Germany from 2001 to 2004.
4 Ebooki wg Naijun Zhan
Naijun Zhan & Shuling Wang: Formal Verification of Simulink/Stateflow Diagrams
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specificat …
PDF
Angielski
€117.69
Cliff Jones & Ji Wang: Symposium on Real-Time and Hybrid Systems
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory con …
EPUB
Angielski
DRM
€57.61
Martin Franzle & Deepak Kapur: Dependable Software Engineering: Theories, Tools, and Applications
This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in Nove …
PDF
Angielski
DRM
€57.90
Marieke Huisman & Corina Pasareanu: Formal Methods
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations wer …
EPUB
Angielski
DRM
€127.76
