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

Document quand l'auteur est "Robati, Tiyam"

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 Thu Mar 28 01:19:39 2024 EDT.