Catthoor, Francky: Modeling, Verification and Exploration of Task-Level Concurrency in | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Catthoor, Francky: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
  • #
  • #

Catthoor, Francky: Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

160.49 EUR

Ein praxisorientiertes Handbuch, das die Modellierung, Verifikation und Analyse von Aufgaben­konkurrenz in Echtzeit‑eingebetteten Systemen detailliert erläutert, neue Techniken vorstellt und konkrete Werkzeuge demonstriert.

Teilen:

Ähnliche Produkte

Semantic Methods for Execution-level Business Process Modeling: Modeling Support Through Process Verification and Service Composition

Semantic Methods for Execution-level Business Process Modeling: Modeling Support Through Process Verification and Service Composition

53.49 EUR
Formal Modeling and Verification of Cyber-Physical Systems

Formal Modeling and Verification of Cyber-Physical Systems

53.49 EUR
Hardware/Software Co-Design and Co-Verification

Hardware/Software Co-Design and Co-Verification

213.99 EUR
Embedded System Design

Embedded System Design

53.49 EUR
Petri Nets for Systems Engineering

Petri Nets for Systems Engineering

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

117.69 EUR