Navigation

Springe zum Hauptinhalt
Fakultät für Informatik
Informatik-Kolloquien

Informatik-Kolloquien

229. Informatik-Kolloquium

Professur Datenverwaltungssysteme

Vortrag

Prof. Arcot Sowmya
 

 


Prof. of Computer Science and Engineering
University of New South Wales, Sydney, Australia
 

 

"System Level Modeling and Verification of NoC Components Using Model Checking"


 

Donnerstag, 12.06.2014
15:30 Uhr, Straße der Nationen 62, 1/B006

Alle interessierten Personen sind herzlich eingeladen!

Presseartikel