![]() | Up a level |
Bergeron, M., Azambre, D., & Mullins, J. (2005, June). SOCLe : An OCL model-checker for UML models [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. (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