Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

0 avg rating
( 0 ratings by Goodreads )
 
9783658099930: Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

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 by the participating PhD students.

"synopsis" may belong to another edition of this title.

About the Author:

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.

Ulrich Kühne is working as research associate and scientific coordinator of the Graduate School System Design at the University of Bremen. His research interests are in hardware design and verification of hybrid systems.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Rolf Drechsler
Published by Springer Fachmedien Wiesbaden (2015)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer Fachmedien Wiesbaden, 2015. PAP. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9783658099930

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 54.00
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Drechsler, Rolf (Editor)/ Kühne, Ulrich (Editor)
Published by Vieweg + Teubner Verlag (2015)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Vieweg + Teubner Verlag, 2015. Paperback. Book Condition: Brand New. 313 pages. 9.50x6.50x0.75 inches. In Stock. Bookseller Inventory # __3658099933

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 52.16
Convert Currency

Add to Basket

Shipping: US$ 8.00
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Drechsler, Rolf
Published by Springer Vieweg (2016)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer Vieweg, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783658099930_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 57.22
Convert Currency

Add to Basket

Shipping: US$ 5.17
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

ROLF DRECHSLER
Published by Springer Vieweg (2015)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer Vieweg, 2015. Paperback. Book Condition: NEW. 9783658099930 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Bookseller Inventory # HTANDREE0935243

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 52.18
Convert Currency

Add to Basket

Shipping: US$ 10.66
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Published by Springer Vieweg (2015)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Paperback Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer Vieweg, 2015. Paperback. Book Condition: New. book. Bookseller Inventory # M3658099933

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 65.09
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Rolf Drechsler
Published by Springer Fachmedien Wiesbaden (2015)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer Fachmedien Wiesbaden, 2015. PAP. Book Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Bookseller Inventory # IP-9783658099930

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 55.91
Convert Currency

Add to Basket

Shipping: US$ 12.00
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Rolf Drechsler, Ulrich Kuhne
Published by Springer Vieweg 2015-10-19 (2015)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Quantity Available: 2
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Springer Vieweg 2015-10-19, 2015. Book Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bookseller Inventory # NU-LBR-01638288

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 64.99
Convert Currency

Add to Basket

Shipping: US$ 3.99
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Rolf Drechsler (editor), Ulrich Kühne (editor)
Published by Springer Fachmedien Wiesbaden 2015-06-25, Wiesbaden (2015)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Fachmedien Wiesbaden 2015-06-25, Wiesbaden, 2015. paperback. Book Condition: New. Bookseller Inventory # 9783658099930

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 66.55
Convert Currency

Add to Basket

Shipping: US$ 8.00
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Drechsler, Rolf (Editor)/ Kühne, Ulrich (Editor)
Published by Vieweg + Teubner Verlag (2015)
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Vieweg + Teubner Verlag, 2015. Paperback. Book Condition: Brand New. 313 pages. 9.50x6.50x0.75 inches. In Stock. Bookseller Inventory # z-3658099933

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 68.93
Convert Currency

Add to Basket

Shipping: US$ 8.00
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Published by Springer Vieweg
ISBN 10: 3658099933 ISBN 13: 9783658099930
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer Vieweg. Paperback. Book Condition: New. 340 pages. 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 by the participating PhD students. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9783658099930

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 78.73
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book