Pemodelan logika pemeriksaan temporal linier dengan buchi automata=Logic checking linear temporal with buchi automata
Correctness and reliability is two keywords successibilites of design both hardware and software systems. To get correct and reliability systems, it must be tight checking and testing overall components. Once of better checking method is modeling system behavioral, called Model Checking, this method...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article NonPeerReviewed |
| Published: |
[Yogyakarta] : Universitas Gadjah Mada
2005
|
| Subjects: | |
| Online Access: | https://repository.ugm.ac.id/17911/ http://i-lib.ugm.ac.id/jurnal/download.php?dataId=685 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universitas Gadjah Mada |