CSE4702

Formal methods in distributed computing systems (6 points)

(IT)

Leader: A Zaslavsky

Offered:
Not offered in 2004.

Synopsis:

Assessment: Research papers and literature survey: 50% + Oral presentations: 15% + Practical work: 35%

Contact Hours: 4 hours per week

Prohibitions: COT4702