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

Wo zu kaufen (1) Eigenschaften
Gesponsert
Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Hugendubel
149.99 EUR
Preis aktualisiert am: 10-11-2026 18:00:32
Siehe Produktangebot

Allgemein

Marke
Springer US

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
Aus160.49 EUR 3
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ü