Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA
Information and Communication Technology systems is a most important part of society. These systems are becoming more and more complex and are massively encroaching on daily life via the Internet and all kinds of embedded systems. Communication protocols are one of the ICT systems used by Internet...
Saved in:
Main Authors: | , |
---|---|
Other Authors: | |
Format: | EJournal Article |
Published: |
IndoCEISS in colaboration with Universitas Gadjah Mada, Indonesia.,
2016-01-31.
|
Subjects: | |
Online Access: | Get Fulltext Get Fulltext |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
Get FulltextGet Fulltext
3rd Floor Main Library
Call Number: |
A1234.567 |
---|---|
Copy 1 | Available |