<  Back to the Polytechnique Montréal portal

Implementing e assertion checkers from an SDL executable specifications

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

Paper (2003)

This item is not archived in PolyPublie
Additional Information: Nom historique du département: Département de génie informatique
Department: Department of Electrical Engineering
Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/25737/
Conference Title: DVCON
Conference Location: San José, USA
Conference Date(s): 2003-01-01 - 2003-12-31
Date Deposited: 18 Apr 2023 15:20
Last Modified: 18 Apr 2023 15:20
Cite in APA 7: Lemire, J. F., Aboulhamid, E. M., Savaria, Y., Bois, G., & Baron, A. (2003, January). Implementing e assertion checkers from an SDL executable specifications [Paper]. DVCON, San José, USA.

Statistics

Stats are not available on this system.

Repository Staff Only

View Item View Item