Stefan Mitsch, Jan-David Quesel, Andre Platzer,
"Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems"
: FM 2014 (Proceedings of the 19th International Symposium on Formal Methods), Serie Lecture Notes in Computer Science (LNCS), Vol. 8442, Seite(n) 481-496, 2014, ISBN: 978-3-319-06409-3
Original Titel:
Refactoring, Refinement, and Reasoning: A Logical Characterization for Hybrid Systems
Sprache des Titels:
Englisch
Original Buchtitel:
FM 2014 (Proceedings of the 19th International Symposium on Formal Methods)
Forschungs-