Pemodelan logika pemeriksaan temporal linier dengan Buchi Automata
Main Authors: | , SIHITE, Liston, , Drs. Retantyo Wardoyo, MSc.,Ph.D |
---|---|
Format: | Thesis |
Published: |
[Yogyakarta] : Universitas Gadjah Mada
2004
|
Subjects: |
Similar Items
-
Pemodelan logika pemeriksaan temporal linier dengan buchi automata=Logic checking linear temporal with buchi automata
by: Perpustakaan UGM, i-lib
Published: (2005) -
Pemodelan penstabil sistem tenaga listrik berbasis Logika Fuzzy
by: , PURNOMO, Joko, et al.
Published: (2004) -
Model mesin inferensi pada sistem pakar dengan logika samar
by: , MULYANA, Sri, et al.
Published: (2000) -
Aplikasi bilangan fuzzy pada permasalahan program tak-linier multi-objektif dengan parameter fuzzy
by: , SUKAMTO, et al.
Published: (2001) -
Markov Chains and Unambiguous Büchi Automata
by: Kiefer, S, et al.
Published: (2016)