Intra- and interdiagram consistency checking of behavioral multiview models

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)72-88
Number of pages17
JournalComputer Languages, Systems and Structures
Volume44
DOIs
Publication statusPublished - Dec 2015

Fields of science

  • 102 Computer Sciences
  • 603109 Logic
  • 202006 Computer hardware

JKU Focus areas

  • Computation in Informatics and Mathematics

Cite this