Upload Records Snowball Search Search OpenAlex
About the database ScholarIQanswers from OpenAlex
Formalizing UML Models and OCL Constraints in PVS
PaperCitations, authors & open-access status
Formalizing UML Models and OCL Constraints in PVS is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 89 citations, 2005 year and diamond oa status.
89
Citations
2005
Year
diamond
OA Status