Applicability of Model Checking for Verifying Spacecraft Operational Designs (MODELS 2023 - Technical Track)

Sun 1 - Fri 6 October 2023 Västerås, Sweden

Who

Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp M. Fischer, Andreas Gerndt, Michael Felderer

Track

MODELS 2023 Technical Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 4 Oct 2023 10:52 - 11:15 at 301 - Session B1: Validation and Verification

Philipp Chrszon

Paulina Maurer

George Saleip

Sascha Müller

Philipp M. Fischer

Andreas Gerndt

German Aerospace Center (DLR)

Germany

Michael Felderer

German Aerospace Center (DLR) & University of Cologne