1. Home
  2. 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

Teilen:

Ähnliche Produkte

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