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: | , |
|---|---|
| Format: | Thesis |
| Published: |
[Yogyakarta] : Universitas Gadjah Mada
2012
|
| Subjects: |