Model and Object Verification by Using Dresden OCL

Research output: Contribution to conferences › Paper › Contributed › peer-review

Contributors

Details

Original languageEnglish
Publication statusPublished - 2009
Peer-reviewedYes

Keywords

Keywords

  • OCL Verification