Fingerprint
Dive into the research topics of 'Formalizing UML Models and OCL Constraints in PVS'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formalizing UML Models and OCL Constraints in PVS
Marcel Kyas, Harald Fecher, Frank S. De Boer, Joost Jacob, Jozef Hooman, Mark Van Der Zwaag, Tamarah Arons, Hillel Kugler
Research output: Contribution to journal › Article › peer-review
61
Scopus
citations