1. Home
  2. Medien
  3. Bücher
  4. Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler
  • #
  • #

Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

89.90 EUR

Teilen:

Ähnliche Produkte

A New Family of Mixed Finite Elements for Elasticity: A Robust Computational Method for Mechanical Problems

A New Family of Mixed Finite Elements for Elasticity: A Robust Computational Method for Mechanical Problems

79.90 EUR
Mechanical Characterization of Composite Multilayer Thick Tubes

Mechanical Characterization of Composite Multilayer Thick Tubes

59.00 EUR
Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification (CISM International Centre for Mechanical Sciences)

Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification (CISM International Centre for Mechanical Sciences)

160.49 EUR
Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification

Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification

160.49 EUR
Theory of Elastic Stability

Theory of Elastic Stability

0.00 EUR
Lean Supply Chain and Logistics Management Consulting Service

Lean Supply Chain and Logistics Management Consulting Service

11.49 EUR