Vor Ort
Merkzettel Warenkorb
Produktbild: Formal Modeling and Verification of Cyber-Physical Systems

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

54,99 €

inkl. gesetzl. MwSt.

Beschreibung

Produktdetails

Format

PDF

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Nein

Erscheinungsdatum

05.06.2015

Herausgeber

Rolf Drechsler + weitere

Verlag

Springer Fachmedien Wiesbaden

Seitenzahl

313 (Printausgabe)

Dateigröße

6258 KB

Sprache

Englisch

EAN

9783658099947

Beschreibung

Portrait

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.

Produktdetails

Format

PDF

eBooks im PDF-Format haben eine festgelegte Seitengröße und eignen sich daher nur bedingt zum Lesen auf einem tolino eReader oder Smartphone. Für den vollen Lesegenuss empfehlen wir Ihnen bei PDF-eBooks die Verwendung eines Tablets oder Computers.

Kopierschutz

Nein

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie, allen sonstigen eReadern und am PC lesen. Das eBook ist nicht kopiergeschützt und kann ein personalisiertes Wasserzeichen enthalten. Weitere Hinweise zum Lesen von eBooks mit einem personalisierten Wasserzeichen finden Sie unter Hilfe/Downloads.

Family Sharing

Nein

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei Thalia oder einem anderen tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Nein

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion Text-to-Speech können Sie sich im tolino webReader und in der aktuellen Thalia – Lesen & Hören App das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/Text-to-Speech.

Barrierefreiheit
  • keine Information zur Barrierefreiheit bekannt

Erscheinungsdatum

05.06.2015

Herausgeber

Verlag

Springer Fachmedien Wiesbaden

Seitenzahl

313 (Printausgabe)

Dateigröße

6258 KB

Sprache

Englisch

EAN

9783658099947

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Formal Modeling and Verification of Cyber-Physical Systems
  • Preface - Verification of Embedded Real-time Systems - MARTE/CCSL for Modeling Cyber-Physical Systems - An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis - Model Checking and Model-Based Testing in the Railway Domain - Modeling Unknown Values in Test and Verification - Specification of Parametric Monitors: Quantified Event Automata versus Rule Systems  - Advances in Design Automation Techniques for Digital-Microfluidic Biochips  - Intuitive Interaction with Robots: Technical Approaches and Challenges  - Physical Safety in Robotics