KI-Beratung Beta

Gutscheinbedingungen

**Gültig bis 05.10.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.

Produktbild: Cyber-Physical System Design from an Architecture Analysis Viewpoint
- 12%

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

12% sparen

95,99 € UVP 109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.12.2018

Abbildungen

XIV, 159 p. 52 illus., 32 illus. in color.

Herausgeber

Shin Nakajima + weitere

Verlag

Springer Singapore

Seitenzahl

159

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

277 g

Auflage

Softcover reprint of the original 1st ed. 2017

Sprache

Englisch

ISBN

978-981-13-5136-5

Beschreibung

Portrait


Editors:


Shin Nakajima is a professor at the National Institute of Informatics (NII) and also a professor at the Graduate University for Advanced Studies (SOKENDAI). His research interests include formal methods, automated verification, and software testing.

Jean-Pierre Talpin is a senior research associate (directeur de recherche) with Inria and leads Inria project-team TEA (time, events and architectures).  His research background ranges from type theory, programming languages, concurrency theory, code generation, scheduling, and verification to proof.  His current research interests include the component-based design, analysis, verification, and integration of cyber-physical systems.



Masumi Toyoshima is a research project manager at DENSO Corporation. His research background includes design of distributed computing systems and recent interest is Systems Engineering.

Huafeng Yu is a senior researcher with Boeing Research & Technology. He serves onIEEE Technical Committee on for Cyber-Physical Systems. His research interests include mobile autonomous systems, software architecture and safety, model-based engineering, and software certification.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.12.2018

Abbildungen

XIV, 159 p. 52 illus., 32 illus. in color.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

159

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

277 g

Auflage

Softcover reprint of the original 1st ed. 2017

Sprache

Englisch

ISBN

978-981-13-5136-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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)

  • Produktbild: Cyber-Physical System Design from an Architecture Analysis Viewpoint

  • 1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs.- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL.- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard.- 4 MARTE for CPS and CPSoS.- 5 Combined Model Checking and Testing Create Confidence – A Case on Commercial Automotive Operating System.- 6 Formal Methods for Aerospace Systems.