RSS

Category Archives: Log Activity

2 Mar 2012

Membaca buku / paper terkait Metode Formal menggunakan notasi Z – sekitar 4 jam

Advertisements
 
Leave a comment

Posted by on March 2, 2012 in Log Activity

 

1 Mar 2012

Mengikuti kuliah Metodologi Penelitian sekitar 3 jam, melakukan presentasi tentang Fault-Tolerant System.

 
Leave a comment

Posted by on March 1, 2012 in Log Activity

 

29 Feb 2012

Mengikuti kuliah Filsafat Ilmu sekitar 3 jam.

Membaca buku Fault-Tolerant System sekitar 2 jam.

 
Leave a comment

Posted by on February 29, 2012 in Log Activity

 

28 Feb 2012

Cari referensi untuk PR-5 sekitar 5 jam

 
Leave a comment

Posted by on February 28, 2012 in Log Activity

 

27 Feb 2012

Membaca buku Duration Calculus: A Formal Approach to Real-Time Systems – 4 jam

 
Leave a comment

Posted by on February 27, 2012 in Log Activity

 

24 Feb 2012

Mengikuti kuliah Metode Formal (sit-in) di S2-IF – 3 jam
Membahas tentang pembuata fungsi menggunakan RSL (RAISE Specification Language)

 
Leave a comment

Posted by on February 24, 2012 in Log Activity

 

23 Feb 2012

Hari ini membaca buku Fault-Tolerant System bagian Hardware Fault Tolerance – sekitar 3 jam

Mengikuti presentasi seminar kemajuan penelitian – sekitar 1,5 jam

 
Leave a comment

Posted by on February 23, 2012 in Log Activity