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

  • Stefan Mitsch (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period14 May 2014
Event titleFM 2014: 19th International Symposium on Formal Methods
Event typeConference
LocationSingaporeShow on map

Fields of science

  • 102027 Web engineering
  • 102 Computer Sciences
  • 102015 Information systems

JKU Focus areas

  • Computation in Informatics and Mathematics