Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Vérification de modèles

Cours associés (4)

MATH-659: Topics in dispersive PDE

This course assumes familiarity with beginning graduate level real analysis, complex analysis and functional analysis, and also basic harmonic analysis, as well as fundamental concepts from differential geometry. ...

AR-114: Modélisation numérique

Le cours de Modélisation Numérique consiste à apprendre et à manipuler les fonctions de base du logiciel de conception assistée Rhinoceros 3D grâce à l'élaboration d'un modèle simple ainsi qu'à en exploiter les capacités de rendu graphique. ...

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and ...

MGT-707: Product lifecycle management - concepts methods and tools

The course "Product Lifecycle Management - concepts methods and tools" studies the concept and application of product lifecycle management over the whole product lifecycle. ...