Practical Model Checking of a Home Area Network System: Case Study
The integrated communication infrastructure is the core of the Smart Grid architecture. Its two-way communication and information flow provides this network with all needed resources in order to control and manage all connected components from the utility to the customer side. This latter, named the...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Zagreb Faculty of Electrical Engineering and Computing
2019-01-01
|
| Series: | Journal of Computing and Information Technology |
| Subjects: | |
| Online Access: | https://hrcak.srce.hr/file/332111 |