Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems

Stefan Mitsch; Jan-David Quesel; Andre Platzer

doi:10.1007/978-3-319-06410-9_33

Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems

Stefan Mitsch, Jan-David Quesel, Andre Platzer

Department of Cooperative Information Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	FM 2014 (Proceedings of the 19th International Symposium on Formal Methods)
Pages	481-496
Number of pages	16
Volume	8442
DOIs	https://doi.org/10.1007/978-3-319-06410-9_33
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science (LNCS)

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/978-3-319-06410-9_33

Cite this

@inproceedings{c8842b8d966647d79baf5fe8774507f8,

title = "Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems",

author = "Stefan Mitsch and Jan-David Quesel and Andre Platzer",

year = "2014",

doi = "10.1007/978-3-319-06410-9\_33",

language = "English",

isbn = "978-3-319-06409-3",

volume = "8442",

series = "Lecture Notes in Computer Science (LNCS)",

pages = "481--496",

booktitle = "FM 2014 (Proceedings of the 19th International Symposium on Formal Methods)",

}

Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems. / Mitsch, Stefan; Quesel, Jan-David; Platzer, Andre.
FM 2014 (Proceedings of the 19th International Symposium on Formal Methods). Vol. 8442 2014. p. 481-496 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems

AU - Mitsch, Stefan

AU - Quesel, Jan-David

AU - Platzer, Andre

PY - 2014

Y1 - 2014

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

U2 - 10.1007/978-3-319-06410-9_33

DO - 10.1007/978-3-319-06410-9_33

M3 - Conference proceedings

SN - 978-3-319-06409-3

VL - 8442

T3 - Lecture Notes in Computer Science (LNCS)

SP - 481

EP - 496

BT - FM 2014 (Proceedings of the 19th International Symposium on Formal Methods)

ER -

Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this