Campus Event Calendar
Event Entry
New for: D3
What and Who
Design und Verifikation eines Betriebssystem-Micro-Kernels vor.
Hendrik Tews und Michael Hohmuth
Uni Dresden
Talk
AG 1, AG 2, AG 3, AG 4
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 19 June 2001
16:00
-- Not specified --
36 - Informatik
HS 001
Saarbrücken
Abstract
Am Dienstag, 19.06., 16.00ct, tragen Hendrik Tews und Michael Hohmuth
(Uni Dresden) ueber das Design und die Verifikation eines
Betriessystem-Micro-Kernels vor. Der Vortrag findet ihn HS001
statt. Alle interresierten sind herzlich eingeladen.
--
----------------------------------------------------------------
FB 14 - Informatik
Christian Jacobi Im Stadtwald
Computer Science Department D-66041 Saarbruecken
Saarland University
Germany Phone: (+49) 681 3024490
Fax: (+49) 681 3024290
----------------------------------------------------------------
Contact
--email hidden
passcode not visible
logged in users only