La vitrine de diffusion des mémoires et thèses de l'ÉTS
RECHERCHER

Document quand l'auteur est "Robati, Tiyam"

[Monter] Monter d'un niveau
Groupement par Type de document | sans groupement
Nombre de documents archivés : 1.

Robati, Tiyam (2016). Model-based techniques for the future integration for formal verification of critical real-time software systems. Thèse de doctorat électronique, Montréal, École de technologie supérieure.

Cette liste a été générée le Sat Dec 21 20:05:30 2024 EST.
Espace ETS Bibliothèque de l'École de technologie supérieure.