Practical model checking of a home area network system
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01001114203 |
|---|---|
| Matična publikacija: |
CIT. Journal of computing and information technology 27 (2019), 2 ; str. 1-16 |
| Glavni autori: | Zahid, Soufiane (Author), En-Nouaary, Abdeslam, Bah, Slimane |
| Vrsta građe: | Članak |
| Jezik: | hrv |
| Predmet: | |
| Online pristup: |
Elektronička verzija članka |