Technische Universität Braunschweig
  • Homepage
  • Team
  • Research
    • Group Saidi
    • Group Jukan
    • Group Gomez
  • Teaching
    • Courses
    • Student research
    • Seminar topics
    • Incoming Students
  • Job offers
  • News
    • DE
    • EN
Logo Institut für Datentechnik und Kommunikationsnetze der TU Braunschweig
  • DATE 2008 Tutorial F2

DATE 2008 Tutorial F2

Formal Methods in System and MpSoC Performance Analysis and Optimization

Tutorial Slides

Updated Version of Slides Marco Bekooij

Contact

Institute of Computer and Network Engineering
Hans-Sommer-Street 66
38106 Braunschweig
Phone: +49 (0)531 391-3734
Fax: +49 (0)531 391-4587
sekretariat[[a]]ida.ing.tu-bs.de

Office hours:

Mon: 
-
Tue:   
10:30-12:00
Wed:   
10:30-12:00
Thu: 
10:30-12:00
Fri:
-
© Technische Universität Braunschweig
Legal notice / disclaimer Data Privacy Policy