Obavijest o predavanju na Matematičkom kolokviju:

U srijedu, 19. rujna 2018. u 18 sati u predavaonici 1 na Odjelu za
 matematiku,

Prof.dr.sc. Reinhard Wilhelm, Universität des Saarlandes, Saarbrücken, German

održat će predavanje na Matematičkom kolokviju pod naslovom:

"Timing Verification of Real-Time Systems"
(sažetak
< http://www.mathos.unios.hr/images/predavanja/AbstractReinhard.pdf>)

Voditelj Matematičkog kolokvija
Izv. prof. dr. sc. Zoran Tomljanović
Odjel za matematiku
Sveučilište u Osijeku