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

II/2/2/2/4 1995 Courses

1. Formal Software Specification using RAISE and Design Techniques for Real-time Systems using the Duration Calculi
   Chris George and Dang Van Hung, Hanoi, Vietnam, February 1995.

2. Overview of Formal Development of Large-scale Software Systems and Formal Software Specification using RAISE and Real-time, Hybrid and Reactive Systems Design using Duration Calculi
   Dines Bjørner, Chris George, Zhou Chaochen and Xu Qiwen, Zhuhai, PR China, April 1995.

3. Formal Software Specification using RAISE and Design Techniques for Real-time Systems using Duration Calculi
   Chris George and Xu Qiwen, Penang, Malaysia, June 1995.

4. Temporal Logic of Reactive Systems and Formal Software Development Techniques
   Zohar Manna, Stanford University, California, USA, and Dines Bjørner, Ulaanbaatar, Mongolia, August 1995.

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