.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Modeling and Verification of Cyber-Physical Systems
. Ed(S): Drechsler, Rolf; Kuhne, Ulrich
€ 68.41
FREE Delivery in Ireland
Description for Formal Modeling and Verification of Cyber-Physical Systems
paperback. Editor(s): Drechsler, Rolf; Kuhne, Ulrich. Num Pages: 323 pages, 101 black & white illustrations, 5 colour illustrations, 8 black & white tables, biograph. BIC Classification: TJFC; TJFM; TRP; UGK; UK; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 18. Weight in Grams: 526.
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems.
The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted ... Read more
Show LessProduct Details
Format
Paperback
Publication date
2015
Publisher
Springer Fachmedien Wiesbaden Germany
Number of pages
323
Condition
New
Number of Pages
313
Place of Publication
Weisbaden, Germany
ISBN
9783658099930
SKU
V9783658099930
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About . Ed(S): Drechsler, Rolf; Kuhne, Ulrich
Rolf Drechsler is the head of the Group of Computer Architecture at the University of Bremen, Germany. Since 2011 he is also the director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI). His research interests include the development and design of data structures and algorithms with a focus on circuit and system design. ... Read more
Reviews for Formal Modeling and Verification of Cyber-Physical Systems