Tactical contract composition for hybrid system component verification

Andreas Müller; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer

doi:10.1007/s10009-018-0502-9

Tactical contract composition for hybrid system component verification

Andreas Müller
, Stefan Mitsch
, Werner Retschitzegger
, Wieland Schwinger
, André Platzer

Johannes Kepler University Linz
Carnegie Mellon University

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	615-643
Number of pages	29
Journal	International Journal on Software Tools for Technology Transfer
Volume	20
Issue number	6
DOIs	https://doi.org/10.1007/s10009-018-0502-9
State	Published - Nov 1 2018
Externally published	Yes

ASJC Scopus Subject Areas

Software
Information Systems

Keywords

Component-based development
Component-based verification
Hybrid systems

Access to Document

10.1007/s10009-018-0502-9

Cite this

@article{13b7f20bf3f94dd69f77540310ce3f3e,

title = "Tactical contract composition for hybrid system component verification",

keywords = "Component-based development, Component-based verification, Hybrid systems",

author = "Andreas M{\"u}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger and Andr{\'e} Platzer",

note = "Publisher Copyright: {\textcopyright} 2018, The Author(s).",

year = "2018",

month = nov,

day = "1",

doi = "10.1007/s10009-018-0502-9",

language = "English",

volume = "20",

pages = "615--643",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

number = "6",

}

TY - JOUR

T1 - Tactical contract composition for hybrid system component verification

AU - Müller, Andreas

AU - Mitsch, Stefan

AU - Retschitzegger, Werner

AU - Schwinger, Wieland

AU - Platzer, André

PY - 2018/11/1

Y1 - 2018/11/1

KW - Component-based development

KW - Component-based verification

KW - Hybrid systems

UR - https://www.scopus.com/pages/publications/85051718650

UR - https://www.scopus.com/pages/publications/85051718650#tab=citedBy

U2 - 10.1007/s10009-018-0502-9

DO - 10.1007/s10009-018-0502-9

M3 - Article

AN - SCOPUS:85051718650

SN - 1433-2779

VL - 20

SP - 615

EP - 643

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 6

ER -

Tactical contract composition for hybrid system component verification

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this