Les pages professionnellesdes enseignants chercheurs

Nasrine Damouche

Research

Mis à jour le

Recent
System engineering, Model-Based Engineering of Aerospace Systems (SysML), Timing Analysis in Real Time Systems.

Earlier

Formal Methods, Static analysis, Abstract interpretation, Semantics-based code transformations, Validation of Embedded Systems, Computer arithmetic, Numerical accuracy, Compilation.

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés OK
Pour accéder à toutes les fonctionnalités de ce site, vous devez activer JavaScript. Voici les instructions pour activer JavaScript dans votre navigateur Web.