<  Back to the Polytechnique Montréal portal

Items where Author is "Oarga, R."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: M
Number of items: 1.

M

Mullins, J., & Oarga, R. (2007, June). Model checking of extended OCL constraints over UML models with SOCLe [Paper]. 9th IFIP International Conference on Formal Methods for Open Object-based distributed Systems (FMOODS 2007), Paphos, Chypre. External link

List generated on: Thu Sep 12 07:24:56 2024 EDT