Article thumbnail

Formalizing UML Models and OCL Constraints in PVS

By Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons and Hillel Kugler
Publisher: Elsevier BV
Year: 2005
DOI identifier: 10.1016/j.entcs.2004.09.027
OAI identifier:
Provided by: MUCC (Crossref)
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)

  • To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

    Suggested articles