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,671 Discovery Miles 36 710 Ships in 12 - 17 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,469 Discovery Miles 14 690 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,009 Discovery Miles 40 090 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,405 Discovery Miles 24 050 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,182 Discovery Miles 31 820 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...
Multifunction Water Gun - Gladiator
R399 R379 Discovery Miles 3 790
Everlotus CD DVD wallet, 72 discs
 (1)
R129 R99 Discovery Miles 990
Discovering Daniel - Finding Our Hope In…
Amir Tsarfati, Rick Yohn Paperback R280 R210 Discovery Miles 2 100
A Crown That Lasts - You Are Not Your…
Demi-Leigh Tebow Paperback R320 R235 Discovery Miles 2 350
Brother LC472XLY Ink Cartridge (Yellow…
R449 R419 Discovery Miles 4 190
Loot
Nadine Gordimer Paperback  (2)
R205 R164 Discovery Miles 1 640
Efekto 77300-G Nitrile Gloves (M)(Green)
R63 Discovery Miles 630
Cable Guys Controller and Smartphone…
R399 R359 Discovery Miles 3 590
Fast X
Vin Diesel, Jason Momoa, … DVD R172 R132 Discovery Miles 1 320
Hot Wheels™ Monster Trucks Twisted Tredz…
R289 Discovery Miles 2 890

 

Partners