Text

Formal Modeling and Verification of Cyber-Physical Systems

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

Wiesbaden : Springer., 2015

Collation

X, 313 pages

Language

English

ISBN/ISSN

9783658099947

Classification

NONE

Content Type

-

Media Type

-

Carrier Type

online resource

Edition

-

Subject(s)

Computer System Implementation

Specific Detail Info

-

Statement of Responsibility

Rolf Drechsler, Ulrich Kühne

Other Information

Cataloger

Jemadi

Source

https://link.springer.com/content/pdf/10.1007/978-3-658-09994-7.pdf?pdf=button

Validator

Jemadi

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment