Tag

, , ,

Barusan beberes ruang kerja. Ada setumpuk makalah (fotocopyan) di atas meja. Makalah-makalah ini membantu saya menyelesaikan studi S3 di Kanada. Ketika pulang, saya bawa. Kalau sekarang lucu sekali mau berat-berat membawa makalah-makalah ini. Ya perlu diingat masa itu internet belum sekencang sekarang. Mau cari ini dan itu masih susah.

Lagi mikir-mikir. Apa saya buang saja ya? Sudah saya lihat-lihat di internet dan ada softcopynya.

  1. John Rusby – Formal Methods and the Ceritification of Critical Systems
  2. Paolo Prinetto and Paolo Camuati (eds.) – Correct Hardware Design Methodologies, North Holland, 1991
  3. Aarti Gupta, Formal Hardware Verification Methods: a Survey, School of Computer Science, Carnegie Mellon University, 1992

Oh ya. Makalah-makalah ini pernah saya gunakan juga mengajar kuliah “Metoda Formal” di ITB. Sayangnya peminatnya makin lama makin sedikit sehingga akhirnya terpaksa ditutup.

Kembali ke pertanyaan saya, buang saja ya? Toh sudah ada versi digitalnya di internet.