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

Document quand l'auteur est "Robati, Tiyam"

Monter d'un niveau
Exporter comme [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Groupement par Type de document | sans groupement
Nombre de documents archivés : 1.

Mémoire ou thèse

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 Wed Oct 16 01:26:05 2019 EDT.