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

Computer arithmetic & numerical accuracy, Formal Methods, Abstract interpretation, Semantics-based code transformations, Validation of Embedded Systems

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.