A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems

  • Stefan Mitsch (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period05 Apr 2013
Event titleSymposium on Enabling Domain Experts to use Formalized Reasoning (Do-Form), in conjunction with AISB
Event typeConference
LocationUnited KingdomShow on map

Fields of science

  • 102006 Computer supported cooperative work (CSCW)
  • 102027 Web engineering
  • 102 Computer Sciences
  • 102015 Information systems
  • 102014 Information design

JKU Focus areas

  • Computation in Informatics and Mathematics