Real-time systems - Laboratorio (2007/2008)

Course Not running, not visible

Course code: 4S01075
Name of lecturer: Tiziano Villa
Number of ECTS credits allocated: 1
Academic sector: ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Language of instruction: Italian
Location: VERONA
Period: 1° Q dal Oct 3, 2007 al Dec 4, 2007.

Course news Seminars related to the course

To show the organization of the course that includes this module, follow this link Course organization

Lesson timetable

Teaching aids

Documents

Lab01 - Uppaal (pdf, it, 527 KB, 04/11/07)
Lab02 - HyTech (pdf, it, 578 KB, 04/11/07)
Lab03 - d/dt (pdf, it, 314 KB, 10/12/07)
Lab04 - PhaVer e Ariadne (pdf, it, 265 KB, 10/12/07)
Lab05 - Times (pdf, it, 683 KB, 10/12/07)
Lab06 - Confronto tra HyTech, d/dt, PhaVer e Ariadne (pdf, it, 108 KB, 10/12/07)
Progetto 2007-8 (pdf, it, 156 KB, 10/12/07)