Degree of recognitionInternational

Prizes / Medals / Awards

event18th International Conference on Software Engineering and Formal Methods
location, Virtuell
Period14 Sep 2020 → 18 Sep 2020

Fields of Expertise

  • Information, Communication & Computing

Austrian Fields of Study 2012 (6-stellig)

  • 102022 Software development
  • 102011 Formal languages

Keywords

  • Verification
  • Refinement
  • Portability
  • RTOS
  • Event-B