Collaborative Verification-Driven Engineering of Hybrid Systems

Stefan Mitsch; Grant Olney Passmore; André Platzer

doi:10.1007/s11786-014-0176-y

Collaborative Verification-Driven Engineering of Hybrid Systems

Stefan Mitsch
, Grant Olney Passmore
, André Platzer

Carnegie Mellon University
Johannes Kepler University Linz
University of Edinburgh

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

Original language	English
Pages (from-to)	71-97
Number of pages	27
Journal	Mathematics in Computer Science
Volume	8
Issue number	1
DOIs	https://doi.org/10.1007/s11786-014-0176-y
State	Published - Mar 2014
Externally published	Yes

ASJC Scopus Subject Areas

Computational Mathematics
Computational Theory and Mathematics
Applied Mathematics

Keywords

Cyber-physical system
Formal verification
Hybrid system
Model-driven engineering

Access to Document

10.1007/s11786-014-0176-y

Cite this

@article{1a734444bea046c9b149e0e51cc3b437,

title = "Collaborative Verification-Driven Engineering of Hybrid Systems",

keywords = "Cyber-physical system, Formal verification, Hybrid system, Model-driven engineering",

author = "Stefan Mitsch and Passmore, \{Grant Olney\} and Andr{\'e} Platzer",

year = "2014",

month = mar,

doi = "10.1007/s11786-014-0176-y",

language = "English",

volume = "8",

pages = "71--97",

journal = "Mathematics in Computer Science",

issn = "1661-8270",

number = "1",

}

TY - JOUR

T1 - Collaborative Verification-Driven Engineering of Hybrid Systems

AU - Mitsch, Stefan

AU - Passmore, Grant Olney

AU - Platzer, André

PY - 2014/3

Y1 - 2014/3

KW - Cyber-physical system

KW - Formal verification

KW - Hybrid system

KW - Model-driven engineering

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

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

U2 - 10.1007/s11786-014-0176-y

DO - 10.1007/s11786-014-0176-y

M3 - Article

AN - SCOPUS:84901198575

SN - 1661-8270

VL - 8

SP - 71

EP - 97

JO - Mathematics in Computer Science

JF - Mathematics in Computer Science

IS - 1

ER -

Collaborative Verification-Driven Engineering of Hybrid Systems

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this