Naijun Zhan - Böcker

Visar alla böcker från författaren Naijun Zhan.
5 produkter
Cliff Jones, Ji Wang, Naijun Zhan - Symposium on Real-Time and Hybrid Systems, Häftad

Symposium on Real-Time and Hybrid Systems

Av Cliff Jones, Ji Wang, Naijun Zhan

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
Marieke Huisman, Corina Păsăreanu, Naijun Zhan, Corina Pasareanu, Corina Păsăreanu - Formal Methods, Häftad

Formal Methods

Av Marieke Huisman, Corina Păsăreanu, Naijun Zhan, Corina Pasareanu, Corina Păsăreanu

Häftad, Engelska, 2021

1 609 kr

Skickas inom 7-10 vardagar
Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Inbunden

Formal Verification of Simulink/Stateflow Diagrams

Av Naijun Zhan, Shuling Wang, Hengjun Zhao

Inbunden, Engelska, 2016

1 629 kr

Skickas inom 7-10 vardagar
Martin Fränzle, Deepak Kapur, Naijun Zhan - Dependable Software Engineering: Theories, Tools, and Applications, Häftad

Dependable Software Engineering: Theories, Tools, and Applications

Av Martin Fränzle, Deepak Kapur, Naijun Zhan

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Häftad

Formal Verification of Simulink/Stateflow Diagrams

Av Naijun Zhan, Shuling Wang, Hengjun Zhao

Häftad, Engelska, 2018

1 629 kr

Skickas inom 7-10 vardagar