Das Embedded Software & Systems Research Center (SRC) lädt Sie zu folgendem Kolloquium ein: “Model Checking of Fault-tolerant Distributed Algorithms” – Josef Widder von der Embedded Computing Systems group an der TU Wien.
Wann: Dienstag, 30. Juni 2015, 9:15 s.t.
Wo: Jakob-Haringer-Straße 2, Salzburg
Raum: T03 Wir freuen uns auf Ihr Kommen!
Details
Dieser Gastvortrag findet als Teil der Lehrveranstaltung Model Checking Course (von Ana Sokolova) statt, ist aber ein in sich geschlossner Vortrag, zu dem wir Sie gerne einladen.
Wir freuen uns auf Ihr Kommen!