Naijun Zhan – författare
Visar alla böcker från författaren Naijun Zhan. Handla med fri frakt och snabb leverans.
11 produkter
Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Av Cliff Jones, Ji Wang m. fl.
Häftad, 2018
569 kr
Lägg i varukorg
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 conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of …
Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Av Naijun Zhan, Ji Wang m. fl.
E-bok, 2018
739 kr
Lägg i varukorg
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 conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of …
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Av Marieke Huisman, Corina Păsăreanu m. fl.
Häftad, 2021
1243 kr
Lägg i varukorg
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 were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections …
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Av Naijun Zhan, Corina Pasareanu m. fl.
E-bok, 2021
1634 kr
Lägg i varukorg
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 were carefully reviewed and selected from 131 submissions. The papers are organized in topical …
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Naijun Zhan, Shuling Wang m. fl.
Inbunden, 2016
1261 kr
Lägg i varukorg
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 specification logic and deduction-based verification approach, and some impressive, realistic case studies. …
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Hengjun Zhao, Shuling Wang m. fl.
E-bok, 2016
1622 kr
Lägg i varukorg
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 specification logic and deduction-based verification approach, and some impressive, realistic case studies. …
Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Av Martin Fränzle, Deepak Kapur m. fl.
Häftad, 2016
569 kr
Lägg i varukorg
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 November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and …
Dependable Software Engineering: Theories, Tools, and Applications
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Av Naijun Zhan, Deepak Kapur m. fl.
E-bok, 2016
734 kr
Lägg i varukorg
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 November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and …
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Naijun Zhan, Shuling Wang m. fl.
Häftad, 2018
1261 kr
Lägg i varukorg
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 specification logic and deduction-based verification approach, and some impressive, realistic case studies. …
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
Av Étienne André, Jingyi Wang m. fl.
Häftad, 2025
832 kr
Lägg i varukorg
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference …
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
Av Naijun Zhan, Jingyi Wang m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference …
