Document quand l'auteur est "Mesli-Kesraoui, S."

[Monter] Monter d'un niveau
Groupement par Type de document | sans groupement
Aller à Document issu d'une conférence ou d'un atelier
Nombre de documents archivés : 2.

Document issu d'une conférence ou d'un atelier

Mesli-Kesraoui, S. et Kesraoui, D. (2023) Génération automatique des applicatifs de contrôle-commande pour des logiciels chiffrés. Dans CIGI Qualita MOSIM 2023, Trois-Rivières, Québec, Canada DOI 10.60662/QSBB-KG24.

Mesli-Kesraoui, S., Kesraoui, D., Berruet, P. et Oquendo, F. (2023) Verification of Control-Command Programs: Counterexample Explanation by Simulation. Dans CIGI Qualita MOSIM 2023, Trois-Rivières, Québec, Canada DOI 10.60662/2dtf-f320.

Cette liste a été générée le Sat Dec 21 09:34:40 2024 EST.
Collection numérique de l'Université du Québec à Trois-Rivières UQTR