Name: Modeling Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Brand: Springer US
SKU: ID12648425
Availability: InStock

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

160.49 EUR

Ein tiefgreifendes Handbuch, das die Modellierung, Verifikation und Erkundung von Aufgabenkonkurrenz in Echtzeit‑eingebetteten Systemen beleuchtet, neue Analyseansätze vorstellt und praxisnahe Werkzeuge demonstriert.

Marke: Springer US

ISBN: 1461369983

MPN: biography

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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 160.49 EUR

29-06-2026 15:35:51

Access to the deal

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

Gesponsert Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems, Fachbücher von Francky Catthoor, Filip Thoen

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

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

Gesponsert Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems, Fachbücher von Francky Catthoor, Filip Thoen

Ähnliche Produkte

Semantic Methods for Execution-level Business Process Modeling

Formal Modeling and Verification of Cyber-Physical Systems

Hardware/Software Co-Design and Co-Verification

Embedded System Design