BEGIN:VCALENDAR
VERSION:2.0
PRODID:TU Chemnitz
METHOD:PUBLISH
X-WR-CALNAME:Veranstaltungen der TU Chemnitz
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
CLASS:PUBLIC
DTSTART;TZID="Europe/Berlin":20140612T153000
DTEND;TZID="Europe/Berlin":20140612T163000
LOCATION:Str. der Nationen 62\, Chemnitz (Böttcher-Bau)
SUMMARY:Informatik-Kolloquium (Fakultät für Informatik\, Professur Softwaretechnologie für Eingebettete Systeme)
DESCRIPTION:Vortrag zum Thema: System Level Modeling and Verification of NoC Components Using Model Checking\nProf. Arcot Sowmya\, Prof. of Computer Science and Engineering\, University of New South Wales\, Sydney\, Australia\ndekanat@informatik.tu-chemnitz.de
ORGANIZER:MAILTO:ulrike.luthe@informatik.tu-chemnitz.de
UID:16167@www.tu-chemnitz.de
CREATED:20140610T142600Z
DTSTAMP:20210802T190511Z
END:VEVENT
END:VCALENDAR