Skip to main navigation Skip to search Skip to main content

A conceptual reference model of modeling and verification concepts for hybrid systems

  • Andreas Müller
  • , Stefan Mitsch
  • , Werner Retschitzegger
  • , Wieland Schwinger
  • Johannes Kepler University Linz
  • Carnegie Mellon University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageEnglish
Title of host publicationKnowledge Science, Engineering and Management - 7th International Conference, KSEM 2014, Proceedings
EditorsRobert Buchmann, Claudiu Vasile Kifor, Jian Yu
PublisherSpringer Verlag
Pages368-379
Number of pages12
ISBN (Electronic)9783319120959
DOIs
StatePublished - 2014
Externally publishedYes
Event7th International Conference on Knowledge Science, Engineering and Management, KSEM 2014 - Sibiu, Romania
Duration: Oct 16 2014 → Oct 18 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8793
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Conference on Knowledge Science, Engineering and Management, KSEM 2014
Country/TerritoryRomania
CitySibiu
Period10/16/14 → 10/18/14

ASJC Scopus Subject Areas

  • Theoretical Computer Science
  • General Computer Science

Cite this