Verification and Validation of Reactive Systems

Verifikasi dan Validasi

Semester Genap 2011/2012


Instructor


Schedule


Objectives


Syllabus


Textbooks


Grading


Lectures

Lecture 0 (February 21, 2012)

Lecture 1 (February 23, 2012)

Lecture 2 (February 28, 2012)

Lecture 3 (March 1, 2012)

Lecture 4 (March 6, 2012)

Lecture 5 (March 13, 2012)

Lecture 6 (March 15, 2012)

Lecture 7 (March 20, 2012)

Lecture 8 (March 22, 2012)

Lecture 9 (March 27, 2012)

Lecture 10 (April 3, 2012)

Lecture 11 (April 5, 2012)

MID-TERM (April 26, 2012)

Lecture 12 (May 1, 2012)

Lecture 13 (May 3, 2012)

Lecture 14 (May 8, 2012)

Lecture 15 (May 10, 2012)

Lecture 16 (May 22, 2012)

Lecture 17 (May 29, 2012)

Lecture 18 (May 31, 2012)

Lecture 19 (June 5, 2012)

Lecture 20 (June 7, 2012)

Lecture 21 (June 14, 2012)


Reza Pulungan
pulungan@ugm.ac.id