Skip to main content
Virtual Conference and Exhibition, 21 April – 30 June 2020, www.date-conference-virtual.com
Linkedin Presence X Presence

User account menu

  • Log in
Home Design, Automation and Test in Europe Conference |
The European Event for Electronic System Design & Test
  • Virtual Conference
  • Awards
  • Exhibition
    • European Projects
    • Exhibition Theatre
    • Exhibitor Manual
    • University Booth
    • Exhibitors & Sponsors
  • Programme
    • Monday Tutorials
    • PhD Forum & Welcome Reception
    • Advance Conference Programme
    • Proceedings
    • Keynotes
    • Special Days, Executive & Special Sessions
    • Exhibition Theatre
    • Friday Workshops
    • Fringe Meetings & Co-Located Workshops
    • DATE Past Events
  • Committees
    • DEC - DATE Executive Committee
      • DEC Area
    • TPC - DATE Technical Programme Committee
      • TPC Rules
    • DATE Fellows
    • DSC - DATE Sponsors Committee
  • Press
    • Press - Download - Section
  • Survey
  • Detailed Programme

Breadcrumb

  1. Home

FM01.1.25 On Improving Statistical Model Checking by Qualitative Verification

Start
18:00
End
21:00
Author
Tim Gonschorek, Otto von Guericke University Magdeburg, Germany

Footer menu

  • Privacy Statement
  • F.A.Q.

Cookies UI