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
SpringerLink DE
117.69 EUR
Preis aktualisiert am: 29-07-2025 07:13:28
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ü