Model-Checking: Wie der Computer Fehler findet

Der Veranstaltungsort ist rollstuhlgerecht.

EXTRA

INFO-VORTRAG

15:45 - 16:15 Uhr / UniMS

Software ist oft fehlerhaft. Bei PC-Anwendungen ist dies zwar ärgerlich, aber nicht gefährlich. Sie steuert aber auch Flugzeuge, Ampeln etc. Es werden Techniken vorgestellt, Softwarefehler mit Computerhilfe aufzudecken.

Die Veranstaltung ist eine extra Hochschultagveranstaltung.

Dozent*innen: Roman Lakenbrink

Es sind momentan keine Anmeldungen möglich.

Anzahl der freien Plätze: 75

17%

Veranstaltende Hochschule

Veranstaltungsort: Einsteinstraße 64
Raum: Hörsaal M4
Etage: EG

Der Veranstaltungsraum ist für Personen mit Mobilitätseinschränkungen zugänglich. Bitte informieren Sie sich im Vorfeld ggf. über gesonderte Zuwegungen.

Buslinie(n): 1, 2, 5, 11, 12, 13
Haltestelle: Coesfelder Kreuz