<  Back to the Polytechnique Montréal portal

Items published in "2005"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Department | Document subtype | No Grouping
Jump to: Paper
Number of items: 2.

Paper

Azambre, D., Bergeron, M., & Mullins, J. (2005, June). Validating UML and OCL models in SOCLe by simulation and model-checking [Paper]. 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005), Rennes, France. Unavailable

Painchaud, F., Azambre, D., Bergeron, M., Mullins, J., & Oarga, R. M. (2005, January). Socle : Integrated design of software applications and security [Paper]. 10th International Command and Control Research and TEchnology Symposium (ICCRTS 2005), McLean, VA. External link

List generated on: Sun Jun 23 10:30:58 2024 EDT