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
Hugendubel
160.49 EUR
Preis aktualisiert am: 10-11-2026 19:00:15
Siehe Produktangebot
Gesponsert
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 12-11-2026 05:47:49
Siehe Produktangebot

Allgemein

Marke
Springer US
ISBN
Springer US 1461369983
MPN
Springer US biography

Eigenschaften

Ähnliche Produkte

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
Aus149.99 EUR 1
Produkt anzeigen
Hardware/Software Co-Design and Co-Verification
Hardware/Software Co-Design and Co-Verification
Aus213.99 EUR 3
Produkt anzeigen
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification ... Notes in Electrical Engineering, Band 63)
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification ... Notes in Electrical Engineering, Band 63)
Aus160.49 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Aus42.79 EUR 2
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Aus42.79 EUR 2
Produkt anzeigen
Embedded System Design
Embedded System Design
Aus53.49 EUR 3
Produkt anzeigen
Menü