Collaborative Verification-Driven Engineering of Hybrid Systems

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	71-97
Seitenumfang	27
Fachzeitschrift	Mathematics in Computer Science
Volume	8
Ausgabenummer	1
DOIs	https://doi.org/10.1007/s11786-014-0176-y
Publikationsstatus	Veröffentlicht - März 2014

Wissenschaftszweige

@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 -