Ditemukan 2 dokumen yang sesuai dengan query
Irene Ully Havsa, author
The aim of this paper is to demonstrate the utilisation of a Behavior Tree trace visualiser called BTTrace and generalised LTL formulae patterns to help system analysts analyse counterexamples and generate valuable ones. Counterexample generated by SAL model checker from a Behavior Tree model and an LTL formulae is translated...
Fakultas Ilmu Komputer Universitas Indonesia, 2013
PDF
Artikel Jurnal Universitas Indonesia Library
Sitepu, Yuri Misleni Br., author
Penelitian ini membahas tentang value relevance pada perusahaan yang menerima going-concern audit opinion. Penelitian ini juga menguji value relevence pada komponen laporan posisi keuangan yaitu net cash, piutang, persediaan, property, plant and equipment, utang jangka panjang, intangibles, dan aset lain-lain pada perusahaan yang menerima going-concern audit opinion. Value relevance menggambarkan...
Depok: Fakultas Ekonomi dan Bisnis Universitas Indonesia, 2011
S-Pdf
UI - Skripsi (Open) Universitas Indonesia Library
