Formalizing UML Models and OCL Constraints in PVS

Thumbnail Image

Files

Primary 32523.pdf (322.35 KB)

Date

2005

Authors

Kyas, M.
Fecher, H.
Boer, F.S. de
Jacob, J.
Hooman, J.J.M. Jozef
Zwaag, M.B. van der
Arons, T.
Kugler, H.

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/32523

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By