Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Fri 23 Oct 2020 11:30 - 11:45 at Room B - B6-Verification, Testing and Execution Chair(s): Daniel Strüber

Fri 23 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

models-2020-technical-track
11:00 - 12:15: Technical Track - B6-Verification, Testing and Execution at Room B
Chair(s): Daniel StrüberRadboud University Nijmegen
models-2020-technical-track11:00 - 11:15
Short-paper
models-2020-technical-track11:15 - 11:30
Talk
Simin Cai, Barbara GallinaMälardalen University, Dag Nyström, Cristina SeceleanuMälardalen University
models-2020-technical-track11:30 - 11:45
Talk
DOI
models-2020-technical-track11:45 - 12:00
Demonstration
Hide past events