TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM
Parallel system must be developed with extra precision to achieve a high level of dependability to produce error-free software. Therefore we need appropriate and formal model of system. The model is necessary for verification software in model checking. A model often used in model checking is LTS (L...
Main Authors: | , SITI MUTMAINAH, , Dr. Ing. Mhd Reza M.I Pulungan, S.Si., M.Sc. |
---|---|
Format: | Thesis |
Published: |
[Yogyakarta] : Universitas Gadjah Mada
2012
|
Subjects: |
Similar Items
-
TRANSFORMASI PROMELA KE CHANNEL SYSTEM
by: , Sheila Nurul Huda, et al.
Published: (2012) -
PENGEMBANGAN SISTEM SMS GATEWAY UNTUK PENGIRIMAN INFORMASI PERKULIAHAN KE JEJARING SOSIAL MENGGUNAKAN RASPBERRY PI
by: , ARIF WAHYUDI, et al.
Published: (2013) -
ANALISIS KUALITAS VOIP PADA SCTP YANG MENGGUNAKAN EXPLICIT CONGESTION NOTIFICATION (ECN) DAN ACTIVE QUEUE MANAGEMENT (AQM)
by: , La Surimi, et al.
Published: (2014) -
REAL TIME TRANSPORTATION MONITORING PADA INTELLIGENT WAREHOUSE
MANAGEMENT SYSTEM
by: , Putut Dewanto Hardo, et al.
Published: (2014) -
VERIFIKASI PROTOKOL CTP (COMMAND TRANSFER PROTOCOL) MENGGUNAKAN SPIN/PROMELA
by: , ERVIN KUSUMA DEWI, et al.
Published: (2014)