Capaian Pembelajaran
Dalam mata kuliah ini mahasiswa diperkenalkan kepada beberapa teknik untuk memverifikasi dan memvalidasi sistem-sistem yang reaktif. Dengan verifikasi dan validasi, kebenaran (correctness) dari suatu sistem atau program, baik fungsional maupun dari segi waktu dan performance, dapat ditentukan.
Bale-bale
Belum ada diskusi bale-bale.
Dosen & Asisten
Anggota
Komunitas ini belum memiliki anggota.