Refactoring, refinement, and reasoning a logical characterization for hybrid systems

Stefan Mitsch; Jan David Quesel; André 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
, André Platzer

Carnegie Mellon University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	FM 2014
Subtitle of host publication	Formal Methods - 19th International Symposium, Proceedings
Publisher	Springer Verlag
Pages	481-496
Number of pages	16
ISBN (Print)	9783319064093
DOIs	https://doi.org/10.1007/978-3-319-06410-9_33
State	Published - 2014
Externally published	Yes
Event	19th International Symposium on Formal Methods, FM 2014 - Singapore, Singapore Duration: May 12 2014 → May 16 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8442 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Symposium on Formal Methods, FM 2014
Country/Territory	Singapore
City	Singapore
Period	5/12/14 → 5/16/14

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

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

Cite this

Mitsch, S., Quesel, J. D., & Platzer, A. (2014). Refactoring, refinement, and reasoning a logical characterization for hybrid systems. In FM 2014: Formal Methods - 19th International Symposium, Proceedings (pp. 481-496). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8442 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-06410-9_33

Refactoring, refinement, and reasoning a logical characterization for hybrid systems. / Mitsch, Stefan; Quesel, Jan David; Platzer, André.
FM 2014: Formal Methods - 19th International Symposium, Proceedings. Springer Verlag, 2014. p. 481-496 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8442 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Mitsch, S, Quesel, JD & Platzer, A 2014, Refactoring, refinement, and reasoning a logical characterization for hybrid systems. in FM 2014: Formal Methods - 19th International Symposium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8442 LNCS, Springer Verlag, pp. 481-496, 19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, 5/12/14. https://doi.org/10.1007/978-3-319-06410-9_33

Mitsch S, Quesel JD, Platzer A. Refactoring, refinement, and reasoning a logical characterization for hybrid systems. In FM 2014: Formal Methods - 19th International Symposium, Proceedings. Springer Verlag. 2014. p. 481-496. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-06410-9_33

Mitsch, Stefan ; Quesel, Jan David ; Platzer, André. / Refactoring, refinement, and reasoning a logical characterization for hybrid systems. FM 2014: Formal Methods - 19th International Symposium, Proceedings. Springer Verlag, 2014. pp. 481-496 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{978d3136c9c04188a9d34a70b8fadab3,

title = "Refactoring, refinement, and reasoning a logical characterization for hybrid systems",

author = "Stefan Mitsch and Quesel, \{Jan David\} and Andr{\'e} Platzer",

year = "2014",

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

language = "English",

isbn = "9783319064093",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "481--496",

booktitle = "FM 2014",

note = "19th International Symposium on Formal Methods, FM 2014 ; Conference date: 12-05-2014 Through 16-05-2014",

}

TY - GEN

T1 - Refactoring, refinement, and reasoning a logical characterization for hybrid systems

AU - Mitsch, Stefan

AU - Quesel, Jan David

AU - Platzer, André

PY - 2014

Y1 - 2014

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

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

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

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

M3 - Conference contribution

AN - SCOPUS:84958527606

SN - 9783319064093

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 481

EP - 496

BT - FM 2014

PB - Springer Verlag

T2 - 19th International Symposium on Formal Methods, FM 2014

Y2 - 12 May 2014 through 16 May 2014

ER -

Refactoring, refinement, and reasoning a logical characterization for hybrid systems

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this