0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • R2,500 - R5,000 (3)
  • -
Status
Brand

Showing 1 - 5 of 5 matches in All Departments

Formal Verification of Simulink/Stateflow Diagrams - A Deductive Approach (Hardcover, 1st ed. 2017): Naijun Zhan, Shuling Wang,... Formal Verification of Simulink/Stateflow Diagrams - A Deductive Approach (Hardcover, 1st ed. 2017)
Naijun Zhan, Shuling Wang, Hengjun Zhao
R3,929 Discovery Miles 39 290 Ships in 12 - 19 working days

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. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday... Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Paperback, 1st ed. 2018)
Cliff Jones, Ji Wang, Naijun Zhan
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

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 subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjorner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou's contributions have been marked by his election as a member of the Chinese Academy of Sciences.

Formal Verification of Simulink/Stateflow Diagrams - A Deductive Approach (Paperback, Softcover reprint of the original 1st ed.... Formal Verification of Simulink/Stateflow Diagrams - A Deductive Approach (Paperback, Softcover reprint of the original 1st ed. 2017)
Naijun Zhan, Shuling Wang, Hengjun Zhao
R4,105 Discovery Miles 41 050 Ships in 10 - 15 working days

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. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing,... Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings (Paperback, 1st ed. 2016)
Martin Franzle, Deepak Kapur, Naijun Zhan
R2,457 Discovery Miles 24 570 Ships in 10 - 15 working days

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 selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.

Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback, 1st ed.... Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (Paperback, 1st ed. 2021)
Marieke Huisman, Corina Pasareanu, Naijun Zhan
R3,272 Discovery Miles 32 720 Ships in 10 - 15 working days

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 named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The City of Scholars - New Approaches to…
Margarete Zimmermann, Dina De Rentiis Hardcover R3,570 Discovery Miles 35 700
The Attic Orators
Edwin Carawan Hardcover R5,539 Discovery Miles 55 390
Grandma's Journal - Her Untold Story…
The Life Graduate Publishing Group Hardcover R533 Discovery Miles 5 330
Little Eggo's Great Big Adventure
Augustus Christensen Hardcover R732 R648 Discovery Miles 6 480
Dithyramb in Context
Barbara Kowalzig, Peter Wilson Hardcover R7,977 Discovery Miles 79 770
Callimachus - The Hymns
Susan A Stephens Hardcover R3,902 Discovery Miles 39 020
Mom, I Want to Hear Your Story - A…
Jeffrey Mason Hardcover R488 Discovery Miles 4 880
Sweet Baker
Tristan Poasa, Yulia Qomariah Hardcover R515 Discovery Miles 5 150
Wee Willie Winkie III
Nancy Wiedmeyer Hardcover R500 Discovery Miles 5 000
Livy
Jane D. Chaplin, Christina S. Kraus Hardcover R4,587 Discovery Miles 45 870

 

Partners