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

Rolf Drechsler; Ulrich Kühne

doi:10.1007/978-3-658-09994-7

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

Rolf Drechsler
, Ulrich Kühne

University of Bremen

Résultats de recherche: Livre/rapport › Livre › Revue par des pairs

Résumé

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.

langue originale	Anglais
Editeur	Springer Fachmedien
Nombre de pages	313
ISBN (Electronique)	9783658099947
ISBN (imprimé)	9783658099930
Les DOIs	https://doi.org/10.1007/978-3-658-09994-7
état	Publié - 5 juin 2015
Modification externe	Oui

Accès au document

10.1007/978-3-658-09994-7

Empreinte digitale

Examiner les sujets de recherche de « 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 ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation

@book{69d5983f712743d1b60e40079619d9bb,

title = "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",

abstract = "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.",

author = "Rolf Drechsler and Ulrich K{\"u}hne",

year = "2015",

month = jun,

day = "5",

doi = "10.1007/978-3-658-09994-7",

language = "English",

isbn = "9783658099930",

publisher = "Springer Fachmedien",

}

TY - BOOK

T1 - Formal Modeling and Verification of Cyber-Physical Systems

T2 - 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

AU - Drechsler, Rolf

AU - Kühne, Ulrich

PY - 2015/6/5

Y1 - 2015/6/5

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-658-09994-7

DO - 10.1007/978-3-658-09994-7

M3 - Book

AN - SCOPUS:84955710061

SN - 9783658099930

BT - Formal Modeling and Verification of Cyber-Physical Systems

PB - Springer Fachmedien

ER -