<  Retour au portail Polytechnique Montréal

Implementing e assertion checkers from an SDL executable specifications

J. F. Lemire, E. M. Aboulhamid, Yvon Savaria, Guy Bois et A. Baron

Communication écrite (2003)

Ce document n'est pas archivé dans PolyPublie
Renseignements supplémentaires: Nom historique du département: Département de génie informatique
Département: Département de génie électrique
Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/25737/
Nom de la conférence: DVCON
Lieu de la conférence: San José, USA
Date(s) de la conférence: 2003-02-24 - 2003-02-26
Date du dépôt: 18 avr. 2023 15:20
Dernière modification: 25 sept. 2024 16:06
Citer en APA 7: Lemire, J. F., Aboulhamid, E. M., Savaria, Y., Bois, G., & Baron, A. (février 2003). Implementing e assertion checkers from an SDL executable specifications [Communication écrite]. DVCON, San José, USA.

Statistiques

Aucune statistique n'est disponible.

Actions réservées au personnel

Afficher document Afficher document