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: 17-09-2026 14:34:05
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
Produkt anzeigen
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
Menü