T-79.185 Verification (2 cr)Autumn 2002
[General Information]
[Lectures]
[Home assignments]
[TOPI]
Previous years: [Autumn 2001] [Autumn 2000] This is an advanced course about verification of parallel and distributed systems.
General Information
Schedule The first meeting will be on Tuesday 17 September 17:00 in TB353 (Computer Science Dep.). The seminar talks will start on Tuesday 1 October 17:00 in TB353 ResultsBack to menu. Back to menu. [TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links] Latest update: 09 September 2002. |