Collaborative Verification-Driven Engineering of Hybrid Systems

Stefan Mitsch; Grant Olney Passmore; Andre Platzer

doi:10.1007/s11786-014-0176-y

Collaborative Verification-Driven Engineering of Hybrid Systems

Stefan Mitsch
, Grant Olney Passmore
, Andre Platzer

Department of Cooperative Information Systems

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
Publication status	Published - Mar 2014

Fields of science

102 Computer Sciences
102015 Information systems
102027 Web engineering

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/s11786-014-0176-y

Cite this

@article{6a3f7640ce8941ca84c528d54574a4da,

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

author = "Stefan Mitsch and Passmore, \{Grant Olney\} and Andre 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-8289",

publisher = "Brikhauser/Springer",

number = "1",

}

TY - JOUR

T1 - Collaborative Verification-Driven Engineering of Hybrid Systems

AU - Mitsch, Stefan

AU - Passmore, Grant Olney

AU - Platzer, Andre

PY - 2014/3

Y1 - 2014/3

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

U2 - 10.1007/s11786-014-0176-y

DO - 10.1007/s11786-014-0176-y

M3 - Article

SN - 1661-8289

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

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this