1993 Courses	Schedule of Past Courses	1995 Courses	UNU-IIST Home
1994 Courses

II/2/2/2/3 1994 Courses

1. Formal Specification of Software and of Application Domains
   Pyongyang, DPR Korea, May 1994.

2. Duration Calculus; Formal Specification using RAISE
   Manila, Philippines, May 1994.

3. Duration Calculus; Formal Specification using RAISE
   Jakarta, Indonesia, May-June 1994.

1994 Courses
1993 Courses	Schedule of Past Courses	1995 Courses	UNU-IIST Home