Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Ein praxisnahes Buch, das die Modellierung, Verifikation und Exploration von Aufgaben­konkurrenz in Echtzeit‑eingebetteten Systemen aus einer neuen ...
Verification and Exploration of
Wo zu kaufen (3) Eigenschaften
Gesponsert
Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Hugendubel
160.49 EUR
Preis aktualisiert am: 17-09-2026 08:24:22
Siehe Produktangebot
Gesponsert
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems, Fachbücher von Francky Catthoor, Filip Thoen
Galaxus.de
160.49 EUR
Preis aktualisiert am: 17-09-2026 19:21:51
Siehe Produktangebot
Gesponsert
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
SpringerLink DE
177.00 EUR
Preis aktualisiert am: 19-09-2026 22:55:38
Siehe Produktangebot

Allgemein

Marke
Springer US
ISBN
Springer US 1461369983
MPN
Springer US biography

Eigenschaften

Ähnliche Produkte

Semantic Methods for Execution-level Business Process Modeling
Semantic Methods for Execution-level Business Process Modeling
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Produkt anzeigen
Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Produkt anzeigen
Hardware/Software Co-Design and Co-Verification
Hardware/Software Co-Design and Co-Verification
Produkt anzeigen
Petri Nets for Systems Engineering
Petri Nets for Systems Engineering
Produkt anzeigen
Embedded System Design
Embedded System Design
Produkt anzeigen
Menü