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 (2) Eigenschaften
Gesponsert
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 03-06-2026 23:33:14
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: 03-06-2026 08:14:24
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
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
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
Menü